Trace number 4393613

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-06-14 parallelSAT 544.244 372.844

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-128.xml
MD5SUM4d7b3c626605250b6cca5f61c2385b47
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 benchmark25.8592
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints136
Number of domains2
Minimum domain size128
Maximum domain size16384
Distribution of domain sizes[{"size":128,"count":128},{"size":16384,"count":128}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":128},{"degree":4,"count":127},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity128
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":128},{"arity":64,"count":6},{"arity":128,"count":1}]
Number of extensional constraints0
Number of intensional constraints129
Distribution of constraint types[{"type":"intension","count":129},{"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-4393613-1568420680.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393613-1568420680.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
391.03/353.50	c solve instance...
543.58/372.78	s SATISFIABLE
543.58/372.78	v <instantiation>
543.58/372.78	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] x[58] x[59] x[60] x[61] x[62] x[63] 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] y[58] y[59] y[60] y[61] y[62] y[63] 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] cx[58] cx[59] cx[60] cx[61] cx[62] cx[63] 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] cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] </list>
543.58/372.78	v 	<values>1 8 11 14 24 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 69 102 103 106 107 108 110 111 112 113 114 115 116 119 121 123 124 125 126 127 128 2 3 4 5 6 7 9 10 12 13 15 16 17 18 19 20 21 22 23 25 64 65 66 67 68 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 104 105 109 117 118 120 122 1 64 121 196 576 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4761 10404 10609 11236 11449 11664 12100 12321 12544 12769 12996 13225 13456 14161 14641 15129 15376 15625 15876 16129 16384 4 9 16 25 36 49 81 100 144 169 225 256 289 324 361 400 441 484 529 625 4096 4225 4356 4489 4624 4900 5041 5184 5329 5476 5625 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10816 11025 11881 13689 13924 14400 14884 </values>
543.58/372.78	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 (15285 MiB free)
  memory of node 1: 16384 MiB (15646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393613-1568420680/watcher-4393613-1568420680 -o /tmp/evaluation-result-4393613-1568420680/solver-4393613-1568420680 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2091841850 HOME/instance-4393613-1568420680.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=3474, runsolver pid=3471
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 8.44 8.45 8.07 3/217 3495
/proc/meminfo: memFree=31660472/32770624 swapFree=67009548/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28227388 memory=28780 CPUtime=0.12 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 20 0 417990764 28904845312 7195 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7056847 7195 3148 1 0 7019032 0
[pid=3476/tid=3477] ppid=3474 vsize=28227388 memory=-7024592270288534718 CPUtime=0.08 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) R 3474 3474 2982 0 -1 4202560 3562 0 0 0 8 0 0 0 20 0 20 0 417990764 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651740689072 140651720541534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28227388 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28227388 memory=140419180209792 CPUtime=0 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3481] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3481/stat : 3481 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651285031184 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3482] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3482/stat : 3482 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651283979408 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3483] ppid=3474 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3483/stat : 3483 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651282926608 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3484] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3484/stat : 3484 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651281873808 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3485] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3485/stat : 3485 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 7261 33554432000 4194304 4196468 140723087604864 140651280821008 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3486] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3486/stat : 3486 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 7261 33554432000 4194304 4196468 140723087604864 140650852837744 140651736472194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3487] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3487/stat : 3487 (java) S 3474 3474 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649930155040 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3488] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3488/stat : 3488 (java) S 3474 3474 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649929102192 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3489] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3489/stat : 3489 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649928050512 140651736479643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3490] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3490/stat : 3490 (java) S 3474 3474 2982 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649926998896 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3491] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3491/stat : 3491 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649925946096 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3492] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3492/stat : 3492 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649924893296 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3493] ppid=3474 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3476/task/3493/stat : 3493 (java) R 3474 3474 2982 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649923840496 140651736472982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3494] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3494/stat : 3494 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649922787936 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3495] ppid=3474 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3495/stat : 3495 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990771 28904845312 7261 33554432000 4194304 4196468 140723087604864 140649921735216 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30232 KiB

[startup+0.210853 s]*
/proc/loadavg: 8.44 8.45 8.07 2/217 3495
/proc/meminfo: memFree=31646116/32770624 swapFree=67009548/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28227388 memory=40856 CPUtime=0.33 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 9535 0 0 0 30 3 0 0 20 0 20 0 417990764 28904845312 10214 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7056847 10214 3293 1 0 7019032 0
[pid=3476/tid=3477] ppid=3474 vsize=28227388 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) R 3474 3474 2982 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 20 0 417990764 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651740693248 140651720541534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28227388 memory=288230613314710904 CPUtime=0 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28227388 memory=3834736931822839456 CPUtime=0 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3481] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3481/stat : 3481 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651285031184 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3482] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3482/stat : 3482 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651283979408 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3483] ppid=3474 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3483/stat : 3483 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651282926608 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3484] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3484/stat : 3484 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651281873808 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3485] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3485/stat : 3485 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28904845312 10214 33554432000 4194304 4196468 140723087604864 140651280821008 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3486] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3486/stat : 3486 (java) S 3474 3474 2982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 10214 33554432000 4194304 4196468 140723087604864 140650852837744 140651736472194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3487] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3487/stat : 3487 (java) S 3474 3474 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649930155040 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3488] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3488/stat : 3488 (java) S 3474 3474 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417990767 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649929102192 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3489] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3489/stat : 3489 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649928050512 140651736479643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3490] ppid=3474 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3476/task/3490/stat : 3490 (java) S 3474 3474 2982 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649926998896 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3491] ppid=3474 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3476/task/3491/stat : 3491 (java) S 3474 3474 2982 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649925946096 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3492] ppid=3474 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3476/task/3492/stat : 3492 (java) R 3474 3474 2982 0 -1 1077944384 172 0 0 0 1 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649924893296 140651736472194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3493] ppid=3474 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/3476/task/3493/stat : 3493 (java) R 3474 3474 2982 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649923840304 140651714452354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3494] ppid=3474 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3494/stat : 3494 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990770 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649922787936 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3495] ppid=3474 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3495/stat : 3495 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990771 28904845312 10214 33554432000 4194304 4196468 140723087604864 140649921735216 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42308 KiB

[startup+0.310565 s]*
/proc/loadavg: 8.44 8.45 8.07 5/217 3495
/proc/meminfo: memFree=31640644/32770624 swapFree=67009548/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28231644 memory=50108 CPUtime=0.52 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 10841 0 0 0 48 4 0 0 20 0 20 0 417990764 28909203456 12527 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7057911 12527 3359 1 0 7019032 0
[pid=3476/tid=3477] ppid=3474 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) R 3474 3474 2982 0 -1 4202560 7737 0 0 0 27 3 0 0 20 0 20 0 417990764 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651740692160 140651736482973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3481] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3481/stat : 3481 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651285031184 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3482] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3482/stat : 3482 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651283979408 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3483] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3483/stat : 3483 (java) S 3474 3474 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651282926608 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3484] ppid=3474 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/3476/task/3484/stat : 3484 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651281873808 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3485] ppid=3474 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/3476/task/3485/stat : 3485 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990765 28909203456 12566 33554432000 4194304 4196468 140723087604864 140651280821008 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3486] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3486/stat : 3486 (java) S 3474 3474 2982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417990767 28909203456 12566 33554432000 4194304 4196468 140723087604864 140650852837744 140651736472194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3487] ppid=3474 vsize=28231644 memory=140419056886223 CPUtime=0 cores=0-7
/proc/3476/task/3487/stat : 3487 (java) S 3474 3474 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417990767 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649930155040 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3488] ppid=3474 vsize=28231644 memory=280838113800080 CPUtime=0 cores=0-7
/proc/3476/task/3488/stat : 3488 (java) S 3474 3474 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417990767 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649929102192 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3489] ppid=3474 vsize=28231644 memory=280838113797776 CPUtime=0 cores=0-7
/proc/3476/task/3489/stat : 3489 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649928050512 140651736479643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3490] ppid=3474 vsize=28231644 memory=280838113804688 CPUtime=0.01 cores=0-7
/proc/3476/task/3490/stat : 3490 (java) S 3474 3474 2982 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649926998896 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3491] ppid=3474 vsize=28231644 memory=280838113745968 CPUtime=0.03 cores=0-7
/proc/3476/task/3491/stat : 3491 (java) R 3474 3474 2982 0 -1 4202560 146 0 0 0 3 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649925946096 140651719845992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3492] ppid=3474 vsize=28231644 memory=280838113818512 CPUtime=0.02 cores=0-7
/proc/3476/task/3492/stat : 3492 (java) S 3474 3474 2982 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649924893296 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3493] ppid=3474 vsize=28231644 memory=280838113825392 CPUtime=0.13 cores=0-7
/proc/3476/task/3493/stat : 3493 (java) S 3474 3474 2982 0 -1 1077944384 885 0 0 0 13 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649923840496 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3494] ppid=3474 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3494/stat : 3494 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417990770 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649922787936 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3495] ppid=3474 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3476/task/3495/stat : 3495 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417990771 28909203456 12566 33554432000 4194304 4196468 140723087604864 140649921735216 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51560 KiB

[startup+0.700973 s]
/proc/loadavg: 8.44 8.45 8.07 4/217 3495
/proc/meminfo: memFree=31626108/32770624 swapFree=67009548/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28233768 memory=186336 CPUtime=1.34 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 13467 0 0 0 125 9 0 0 20 0 20 0 417990764 28911378432 46584 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7058442 46584 3467 1 0 7019544 0
[pid=3476/tid=3477] ppid=3474 vsize=28233768 memory=2244 CPUtime=0.66 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) R 3474 3474 2982 0 -1 4202560 8815 0 0 0 61 5 0 0 20 0 20 0 417990764 28911378432 46584 33554432000 4194304 4196468 140723087604864 140651740699136 140651340748540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 417990765 28911378432 46584 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417990765 28911378432 46584 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28233768 memory=14008 CPUtime=0 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 417990765 28911378432 46584 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0

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

[pid=3476/tid=3524] ppid=3474 vsize=28768328 memory=1560 CPUtime=15.69 cores=0-7
/proc/3476/task/3524/stat : 3524 (java) R 3474 3474 2982 0 -1 4202560 10516 0 0 0 1555 14 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649466508360 140651348546479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3525] ppid=3474 vsize=28768328 memory=928 CPUtime=16.24 cores=0-7
/proc/3476/task/3525/stat : 3525 (java) R 3474 3474 2982 0 -1 4202560 1374 0 0 0 1621 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649465456600 140651349596208 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3526] ppid=3474 vsize=28768328 memory=1616 CPUtime=16.23 cores=0-7
/proc/3476/task/3526/stat : 3526 (java) R 3474 3474 2982 0 -1 4202560 667 0 0 0 1619 4 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649464402296 140651349595449 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3527] ppid=3474 vsize=28768328 memory=896 CPUtime=16.6 cores=0-7
/proc/3476/task/3527/stat : 3527 (java) R 3474 3474 2982 0 -1 4202560 1998 0 0 0 1657 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649463349208 140651348618662 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3528] ppid=3474 vsize=28768328 memory=1436 CPUtime=16.57 cores=0-7
/proc/3476/task/3528/stat : 3528 (java) R 3474 3474 2982 0 -1 4202560 565 0 0 0 1657 0 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649462296648 140651349595484 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3529] ppid=3474 vsize=28768328 memory=8112282956445269571 CPUtime=16.43 cores=0-7
/proc/3476/task/3529/stat : 3529 (java) R 3474 3474 2982 0 -1 4202560 2164 0 0 0 1637 6 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649461243384 140651346630192 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 531.62 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9506240 KiB

[startup+372.001 s]*
/proc/loadavg: 2.33 3.47 5.85 12/226 3536
/proc/meminfo: memFree=22162828/32770624 swapFree=67009560/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28768328 memory=9504788 CPUtime=538.05 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 180239 0 0 0 53225 580 0 0 20 0 28 0 417990764 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7192082 2376197 3548 1 0 7153184 0
[pid=3476/tid=3477] ppid=3474 vsize=28768328 memory=8028909198029379684 CPUtime=347.44 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) S 3474 3474 2982 0 -1 1077944384 57543 0 0 0 34599 145 0 0 20 0 28 0 417990764 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651740701824 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28768328 memory=8028909198029379684 CPUtime=5.2 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 4472 0 0 0 473 47 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28768328 memory=4872558044660077418 CPUtime=5.17 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 3141 0 0 0 472 45 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28768328 memory=111632 CPUtime=5.21 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 1966 0 0 0 476 45 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3481] ppid=3474 vsize=28768328 memory=1808 CPUtime=5.14 cores=0-7
/proc/3476/task/3481/stat : 3481 (java) S 3474 3474 2982 0 -1 1077944384 2017 0 0 0 470 44 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651285031184 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3482] ppid=3474 vsize=28768328 memory=924 CPUtime=5.23 cores=0-7
/proc/3476/task/3482/stat : 3482 (java) S 3474 3474 2982 0 -1 1077944384 2982 0 0 0 476 47 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651283979408 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3483] ppid=3474 vsize=28768328 memory=4768 CPUtime=5.2 cores=0-7
/proc/3476/task/3483/stat : 3483 (java) S 3474 3474 2982 0 -1 1077944384 3340 0 0 0 478 42 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651282926608 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3484] ppid=3474 vsize=28768328 memory=4104 CPUtime=5.2 cores=0-7
/proc/3476/task/3484/stat : 3484 (java) S 3474 3474 2982 0 -1 1077944384 3239 0 0 0 470 50 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651281873808 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3485] ppid=3474 vsize=28768328 memory=1412 CPUtime=5.17 cores=0-7
/proc/3476/task/3485/stat : 3485 (java) S 3474 3474 2982 0 -1 1077944384 2819 0 0 0 474 43 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651280821008 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3486] ppid=3474 vsize=28768328 memory=3500 CPUtime=0.47 cores=0-7
/proc/3476/task/3486/stat : 3486 (java) S 3474 3474 2982 0 -1 1077944384 12010 0 0 0 41 6 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140650852837744 140651736472194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3487] ppid=3474 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/3476/task/3487/stat : 3487 (java) S 3474 3474 2982 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649930155104 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3488] ppid=3474 vsize=28768328 memory=9509532 CPUtime=0 cores=0-7
/proc/3476/task/3488/stat : 3488 (java) S 3474 3474 2982 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649929102208 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3489] ppid=3474 vsize=28768328 memory=1792 CPUtime=0 cores=0-7
/proc/3476/task/3489/stat : 3489 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649928050512 140651736479643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3490] ppid=3474 vsize=28768328 memory=2200 CPUtime=3.27 cores=0-7
/proc/3476/task/3490/stat : 3490 (java) S 3474 3474 2982 0 -1 1077944384 17046 0 0 0 323 4 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649926998896 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3491] ppid=3474 vsize=28768328 memory=1600 CPUtime=3.51 cores=0-7
/proc/3476/task/3491/stat : 3491 (java) S 3474 3474 2982 0 -1 1077944384 12332 0 0 0 348 3 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649925946096 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3492] ppid=3474 vsize=28768328 memory=111632 CPUtime=3.59 cores=0-7
/proc/3476/task/3492/stat : 3492 (java) R 3474 3474 2982 0 -1 4202560 15457 0 0 0 355 4 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649924874480 140651717984523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3493] ppid=3474 vsize=28768328 memory=8112282956445269571 CPUtime=1.23 cores=0-7
/proc/3476/task/3493/stat : 3493 (java) S 3474 3474 2982 0 -1 1077944384 17667 0 0 0 120 3 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649923840496 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3494] ppid=3474 vsize=28768328 memory=776 CPUtime=0 cores=0-7
/proc/3476/task/3494/stat : 3494 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649922787936 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3495] ppid=3474 vsize=28768328 memory=4004 CPUtime=0.22 cores=0-7
/proc/3476/task/3495/stat : 3495 (java) S 3474 3474 2982 0 -1 1077944384 1699 0 0 0 12 10 0 0 20 0 28 0 417990771 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649921735216 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3522] ppid=3474 vsize=28768328 memory=2832 CPUtime=17.03 cores=0-7
/proc/3476/task/3522/stat : 3522 (java) R 3474 3474 2982 0 -1 4202560 993 0 0 0 1698 5 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649912760992 140651345800505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3523] ppid=3474 vsize=28768328 memory=8500 CPUtime=17.06 cores=0-7
/proc/3476/task/3523/stat : 3523 (java) R 3474 3474 2982 0 -1 4202560 1301 0 0 0 1705 1 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649467559680 140651344728385 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3524] ppid=3474 vsize=28768328 memory=1696 CPUtime=16.52 cores=0-7
/proc/3476/task/3524/stat : 3524 (java) R 3474 3474 2982 0 -1 4202560 12103 0 0 0 1638 14 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649466507696 140651347114788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3525] ppid=3474 vsize=28768328 memory=1188 CPUtime=17.01 cores=0-7
/proc/3476/task/3525/stat : 3525 (java) R 3474 3474 2982 0 -1 4202560 1384 0 0 0 1698 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649465455128 140651343946904 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3526] ppid=3474 vsize=28768328 memory=1060 CPUtime=17.04 cores=0-7
/proc/3476/task/3526/stat : 3526 (java) R 3474 3474 2982 0 -1 4202560 667 0 0 0 1700 4 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649464402296 140651348618526 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3527] ppid=3474 vsize=28768328 memory=7988 CPUtime=17.42 cores=0-7
/proc/3476/task/3527/stat : 3527 (java) R 3474 3474 2982 0 -1 4202560 2000 0 0 0 1739 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649463349496 140651346894244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3528] ppid=3474 vsize=28768328 memory=1584 CPUtime=17.4 cores=0-7
/proc/3476/task/3528/stat : 3528 (java) R 3474 3474 2982 0 -1 4202560 565 0 0 0 1740 0 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649462296576 140651346361128 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3529] ppid=3474 vsize=28768328 memory=14008 CPUtime=17.25 cores=0-7
/proc/3476/task/3529/stat : 3529 (java) R 3474 3474 2982 0 -1 4202560 2164 0 0 0 1719 6 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649461243896 140651348618201 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 538.05 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9506240 KiB

[startup+372.402 s]
/proc/loadavg: 2.33 3.47 5.85 12/226 3536
/proc/meminfo: memFree=22162828/32770624 swapFree=67009560/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/statm: 28282 363 305 221 0 87 0
[pid=3476] ppid=3474 vsize=28768328 memory=9504788 CPUtime=541.18 cores=0-7
/proc/3476/stat : 3476 (java) S 3474 3474 2982 0 -1 1077944320 181872 0 0 0 53537 581 0 0 20 0 28 0 417990764 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140723087587408 140651736461047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
/proc/3476/statm: 7192082 2376197 3548 1 0 7153184 0
[pid=3476/tid=3477] ppid=3474 vsize=28768328 memory=1452 CPUtime=347.44 cores=0-7
/proc/3476/task/3477/stat : 3477 (java) S 3474 3474 2982 0 -1 1077944384 57543 0 0 0 34599 145 0 0 20 0 28 0 417990764 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651740701824 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3478] ppid=3474 vsize=28768328 memory=9453976 CPUtime=5.2 cores=0-7
/proc/3476/task/3478/stat : 3478 (java) S 3474 3474 2982 0 -1 1077944384 4472 0 0 0 473 47 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651288189584 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3479] ppid=3474 vsize=28768328 memory=1452 CPUtime=5.17 cores=0-7
/proc/3476/task/3479/stat : 3479 (java) S 3474 3474 2982 0 -1 1077944384 3141 0 0 0 472 45 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651287136784 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3480] ppid=3474 vsize=28768328 memory=9453156 CPUtime=5.21 cores=0-7
/proc/3476/task/3480/stat : 3480 (java) S 3474 3474 2982 0 -1 1077944384 1966 0 0 0 476 45 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651286083984 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3481] ppid=3474 vsize=28768328 memory=8112282956445269571 CPUtime=5.14 cores=0-7
/proc/3476/task/3481/stat : 3481 (java) S 3474 3474 2982 0 -1 1077944384 2017 0 0 0 470 44 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651285031184 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3482] ppid=3474 vsize=28768328 memory=4104 CPUtime=5.23 cores=0-7
/proc/3476/task/3482/stat : 3482 (java) S 3474 3474 2982 0 -1 1077944384 2982 0 0 0 476 47 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651283979408 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3483] ppid=3474 vsize=28768328 memory=1412 CPUtime=5.2 cores=0-7
/proc/3476/task/3483/stat : 3483 (java) S 3474 3474 2982 0 -1 1077944384 3340 0 0 0 478 42 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651282926608 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3484] ppid=3474 vsize=28768328 memory=3480 CPUtime=5.2 cores=0-7
/proc/3476/task/3484/stat : 3484 (java) S 3474 3474 2982 0 -1 1077944384 3239 0 0 0 470 50 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651281873808 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3485] ppid=3474 vsize=28768328 memory=1452 CPUtime=5.17 cores=0-7
/proc/3476/task/3485/stat : 3485 (java) S 3474 3474 2982 0 -1 1077944384 2819 0 0 0 474 43 0 0 20 0 28 0 417990765 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140651280821008 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3486] ppid=3474 vsize=28768328 memory=9504788 CPUtime=0.47 cores=0-7
/proc/3476/task/3486/stat : 3486 (java) S 3474 3474 2982 0 -1 1077944384 12010 0 0 0 41 6 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140650852837744 140651736472194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3487] ppid=3474 vsize=28768328 memory=2208 CPUtime=0 cores=0-7
/proc/3476/task/3487/stat : 3487 (java) S 3474 3474 2982 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649930155104 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3488] ppid=3474 vsize=28768328 memory=104204 CPUtime=0 cores=0-7
/proc/3476/task/3488/stat : 3488 (java) S 3474 3474 2982 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 417990767 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649929102208 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3489] ppid=3474 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/3476/task/3489/stat : 3489 (java) S 3474 3474 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649928050512 140651736479643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3490] ppid=3474 vsize=28768328 memory=9504788 CPUtime=3.27 cores=0-7
/proc/3476/task/3490/stat : 3490 (java) S 3474 3474 2982 0 -1 1077944384 17064 0 0 0 323 4 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649926998896 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3491] ppid=3474 vsize=28768328 memory=1948 CPUtime=3.51 cores=0-7
/proc/3476/task/3491/stat : 3491 (java) S 3474 3474 2982 0 -1 1077944384 12332 0 0 0 348 3 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649925946096 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3492] ppid=3474 vsize=28768328 memory=3484 CPUtime=3.65 cores=0-7
/proc/3476/task/3492/stat : 3492 (java) S 3474 3474 2982 0 -1 1077944384 16350 0 0 0 361 4 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649924893296 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3493] ppid=3474 vsize=28768328 memory=17732 CPUtime=1.23 cores=0-7
/proc/3476/task/3493/stat : 3493 (java) S 3474 3474 2982 0 -1 1077944384 17667 0 0 0 120 3 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649923840496 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3494] ppid=3474 vsize=28768328 memory=984 CPUtime=0 cores=0-7
/proc/3476/task/3494/stat : 3494 (java) S 3474 3474 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417990770 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649922787936 140651736471253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3495] ppid=3474 vsize=28768328 memory=1948 CPUtime=0.22 cores=0-7
/proc/3476/task/3495/stat : 3495 (java) S 3474 3474 2982 0 -1 1077944384 1699 0 0 0 12 10 0 0 20 0 28 0 417990771 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649921735216 140651736472194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3522] ppid=3474 vsize=28768328 memory=9504740 CPUtime=17.4 cores=0-7
/proc/3476/task/3522/stat : 3522 (java) R 3474 3474 2982 0 -1 4202560 993 0 0 0 1735 5 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649912761128 140651345799634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3523] ppid=3474 vsize=28768328 memory=732 CPUtime=17.43 cores=0-7
/proc/3476/task/3523/stat : 3523 (java) R 3474 3474 2982 0 -1 4202560 1301 0 0 0 1742 1 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649467559568 140651348617923 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3524] ppid=3474 vsize=28768328 memory=1052 CPUtime=16.89 cores=0-7
/proc/3476/task/3524/stat : 3524 (java) R 3474 3474 2982 0 -1 4202560 12721 0 0 0 1675 14 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649466508008 140651349747009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3525] ppid=3474 vsize=28768328 memory=3484 CPUtime=17.38 cores=0-7
/proc/3476/task/3525/stat : 3525 (java) R 3474 3474 2982 0 -1 4202560 1388 0 0 0 1735 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649465455128 140651343484032 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3526] ppid=3474 vsize=28768328 memory=17732 CPUtime=17.38 cores=0-7
/proc/3476/task/3526/stat : 3526 (java) R 3474 3474 2982 0 -1 4202560 667 0 0 0 1734 4 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649464402296 140651348618606 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3527] ppid=3474 vsize=28768328 memory=984 CPUtime=17.79 cores=0-7
/proc/3476/task/3527/stat : 3527 (java) R 3474 3474 2982 0 -1 4202560 2000 0 0 0 1776 3 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649463349496 140651345678900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3528] ppid=3474 vsize=28768328 memory=1948 CPUtime=17.74 cores=0-7
/proc/3476/task/3528/stat : 3528 (java) R 3474 3474 2982 0 -1 4202560 565 0 0 0 1774 0 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649462296712 140651346361452 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
[pid=3476/tid=3529] ppid=3474 vsize=28768328 memory=1296 CPUtime=17.63 cores=0-7
/proc/3476/task/3529/stat : 3529 (java) R 3474 3474 2982 0 -1 4202560 2166 0 0 0 1757 6 0 0 20 0 28 0 418026121 29458767872 2376197 33554432000 4194304 4196468 140723087604864 140649461243896 140651348618526 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22167552 140723087606762 140723087606934 140723087606934 140723087609807 0
Current children cumulated CPU time: 541.18 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 9506240 KiB

[startup+372.801 s]
/proc/loadavg: 2.33 3.47 5.85 12/226 3536
/proc/meminfo: memFree=22162828/32770624 swapFree=67009560/67108860
[pid=3474] ppid=3471 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3474/stat : 3474 (xcsp3-exec) S 3471 3474 2982 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 417990764 115843072 363 33554432000 4194304 5098028 140734371217232 140734371215336 139976084714108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23818240 140734371218293 140734371218537 140734371218537 140734371221450 0
/proc/3474/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): 372.844
CPU time (s): 544.244
CPU user time (s): 538.379
CPU system time (s): 5.86494
CPU usage (%): 145.971
Max. virtual memory (cumulated for all children) (KiB): 28883848
Max. memory (cumulated for all children) (KiB): 9511388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 538.379
system time used= 5.86494
maximum resident set size= 9510500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24620
involuntary context switches= 5437


# summary of solver processes directly reported to runsolver:
#   pid: 3474
#   total CPU time (s): 544.244
#   total CPU user time (s): 538.379
#   total CPU system time (s): 5.86494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53493 second user time and 2.67474 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 02:23:51
IDJOB=4393613
IDBENCH=122902
IDSOLVER=2841
FILE ID=node132/4393613-1568420680
RUNJOBID= node132-1568417633-3009
PBS_JOBID= 21702279
Free space on /tmp= 61624 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-128.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-4393613-1568420680/watcher-4393613-1568420680 -o /tmp/evaluation-result-4393613-1568420680/solver-4393613-1568420680 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2091841850 HOME/instance-4393613-1568420680.xml

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

MD5SUM BENCH= 4d7b3c626605250b6cca5f61c2385b47
RANDOM SEED=2091841850

node132.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.95
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.95
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.95
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.95
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:        31674860 kB
MemAvailable:   31915812 kB
Buffers:           59860 kB
Cached:           460960 kB
SwapCached:         6288 kB
Active:           388108 kB
Inactive:         140516 kB
Active(anon):       4748 kB
Inactive(anon):    31280 kB
Active(file):     383360 kB
Inactive(file):   109236 kB
Unevictable:      109584 kB
Mlocked:          109584 kB
SwapTotal:      67108860 kB
SwapFree:       67009548 kB
Dirty:             26156 kB
Writeback:             0 kB
AnonPages:        172348 kB
Mapped:            32124 kB
Shmem:             19396 kB
Slab:             157792 kB
SReclaimable:     128384 kB
SUnreclaim:        29408 kB
KernelStack:        3808 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61596 MiB
End job on node132 at 2019-09-14 02:30:04