Trace number 4406857

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 231.877 29.7825

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-45.xml
MD5SUMc29e6924973099ab0a0c802e448a5f67
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 benchmark185.253
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of constraints91
Number of domains1
Minimum domain size135
Maximum domain size135
Distribution of domain sizes[{"size":135,"count":135}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":90},{"degree":3,"count":45}]
Minimum constraint arity2
Maximum constraint arity135
Distribution of constraint arities[{"arity":2,"count":90},{"arity":135,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"allDifferent","count":1}]
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-4406857-1569347151.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406857-1569347151.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.65/0.75	c solve instance...
231.30/29.77	s SATISFIABLE
231.30/29.77	v <instantiation>
231.30/29.77	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] </list>
231.30/29.77	v 	<values>7 2 58 20 4 110 15 103 12 42 37 1 104 6 54 0 95 89 48 3 76 50 75 80 74 33 35 43 47 71 52 26 51 44 57 41 18 28 29 40 13 39 46 38 19 9 5 62 25 10 117 23 112 22 53 49 14 118 21 70 17 113 108 68 24 98 73 99 105 100 60 63 72 77 102 84 59 85 79 93 78 56 67 69 81 55 82 90 83 65 11 8 66 30 16 124 31 121 32 64 61 27 132 36 86 34 131 127 88 45 120 96 123 130 126 87 91 101 107 133 116 92 119 114 129 115 94 106 109 122 97 125 134 128 111 </values>
231.30/29.77	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 (13555 MiB free)
  memory of node 1: 16384 MiB (14262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406857-1569347151/watcher-4406857-1569347151 -o /var/tmp/evaluation-result-4406857-1569347151/solver-4406857-1569347151 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1007611094 HOME/instance-4406857-1569347151.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
Starting watchdog thread
solver pid=18850, runsolver pid=18847
Current StackSize limit: 8192 KiB


[startup+0.100145 s]*
/proc/loadavg: 8.51 8.30 8.11 2/211 18871
/proc/meminfo: memFree=28469404/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28227396 memory=29960 CPUtime=0.12 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 5900 0 0 0 11 1 0 0 20 0 20 0 510987582 28904853504 7490 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7056849 7490 3155 1 0 7019032 0
[pid=18852/tid=18853] ppid=18850 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) R 18850 18850 16140 0 -1 4202560 3848 0 0 0 8 1 0 0 20 0 20 0 510987582 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360597318656 140360593109594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28227396 memory=140431639623296 CPUtime=0 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18856/stat : 18856 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360543603088 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18857] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18857/stat : 18857 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360542550288 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18858] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18858/stat : 18858 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360541498512 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18859] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18859/stat : 18859 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360540445712 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18860] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18860/stat : 18860 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360539392912 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18861] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18861/stat : 18861 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 7490 33554432000 4194304 4196468 140730165601744 140360137169680 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18862] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18862/stat : 18862 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987584 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359056202096 140360593099394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18863] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18863/stat : 18863 (java) S 18850 18850 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510987585 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359055148064 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18864] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18864/stat : 18864 (java) S 18850 18850 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510987585 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359054095216 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18865] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18865/stat : 18865 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359053043536 140360593106843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18866] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18866/stat : 18866 (java) S 18850 18850 16140 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359051991920 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18867] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18867/stat : 18867 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359050939120 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18868] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18868/stat : 18868 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359049886320 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18869] ppid=18850 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) R 18850 18850 16140 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 20 0 510987587 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359048833520 140360593100182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987588 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987588 28904853504 7490 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31412 KiB

[startup+0.21018 s]*
/proc/loadavg: 8.51 8.30 8.11 3/211 18871
/proc/meminfo: memFree=28456284/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28227396 memory=40584 CPUtime=0.33 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 9400 0 0 0 30 3 0 0 20 0 20 0 510987582 28904853504 10146 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7056849 10146 3302 1 0 7019032 0
[pid=18852/tid=18853] ppid=18850 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) R 18850 18850 16140 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 20 0 510987582 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360597322096 140360577168734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28227396 memory=3978561861288375968 CPUtime=0 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18856/stat : 18856 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360543603088 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18857] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18857/stat : 18857 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360542550288 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18858] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18858/stat : 18858 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360541498512 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18859] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18859/stat : 18859 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360540445712 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18860] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18860/stat : 18860 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360539392912 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18861] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18861/stat : 18861 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28904853504 10146 33554432000 4194304 4196468 140730165601744 140360137169680 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18862] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18862/stat : 18862 (java) S 18850 18850 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510987584 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359056202096 140360593099394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18863] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18863/stat : 18863 (java) S 18850 18850 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510987585 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359055148064 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18864] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18864/stat : 18864 (java) S 18850 18850 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510987585 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359054095216 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18865] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18865/stat : 18865 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359053043536 140360593106843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18866] ppid=18850 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18852/task/18866/stat : 18866 (java) S 18850 18850 16140 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 510987587 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359051991920 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18867] ppid=18850 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18852/task/18867/stat : 18867 (java) S 18850 18850 16140 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 510987587 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359050939120 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18868] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18868/stat : 18868 (java) S 18850 18850 16140 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510987587 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359049886320 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18869] ppid=18850 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) R 18850 18850 16140 0 -1 4202560 781 0 0 0 8 0 0 0 20 0 20 0 510987587 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359048833328 140360572223907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987588 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987588 28904853504 10146 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42036 KiB

[startup+0.309533 s]*
/proc/loadavg: 8.51 8.30 8.11 3/211 18871
/proc/meminfo: memFree=28449104/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28231652 memory=49972 CPUtime=0.52 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 10806 0 0 0 48 4 0 0 20 0 20 0 510987582 28909211648 12493 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7057913 12493 3359 1 0 7019032 0
[pid=18852/tid=18853] ppid=18850 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) R 18850 18850 16140 0 -1 4202560 7783 0 0 0 27 2 0 0 20 0 20 0 510987582 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360597319360 140360576431047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18856/stat : 18856 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360543603088 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18857] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18857/stat : 18857 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360542550288 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18858] ppid=18850 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18852/task/18858/stat : 18858 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360541498512 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18859] ppid=18850 vsize=28231652 memory=140431539139503 CPUtime=0 cores=0-7
/proc/18852/task/18859/stat : 18859 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360540445712 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18860] ppid=18850 vsize=28231652 memory=140431539141808 CPUtime=0 cores=0-7
/proc/18852/task/18860/stat : 18860 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360539392912 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18861] ppid=18850 vsize=28231652 memory=140431539144112 CPUtime=0 cores=0-7
/proc/18852/task/18861/stat : 18861 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28909211648 12493 33554432000 4194304 4196468 140730165601744 140360137169680 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18862] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18862/stat : 18862 (java) S 18850 18850 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510987584 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359056202096 140360593099394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18863] ppid=18850 vsize=28231652 memory=280863078295184 CPUtime=0 cores=0-7
/proc/18852/task/18863/stat : 18863 (java) S 18850 18850 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510987585 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359055148064 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18864] ppid=18850 vsize=28231652 memory=280863078302096 CPUtime=0 cores=0-7
/proc/18852/task/18864/stat : 18864 (java) S 18850 18850 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510987585 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359054095216 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18865] ppid=18850 vsize=28231652 memory=280863078243376 CPUtime=0 cores=0-7
/proc/18852/task/18865/stat : 18865 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987587 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359053043536 140360593106843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18866] ppid=18850 vsize=28231652 memory=280863078315920 CPUtime=0.03 cores=0-7
/proc/18852/task/18866/stat : 18866 (java) R 18850 18850 16140 0 -1 4202560 601 0 0 0 3 0 0 0 20 0 20 0 510987587 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359051991104 140360574612894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18867] ppid=18850 vsize=28231652 memory=280863078322832 CPUtime=0.02 cores=0-7
/proc/18852/task/18867/stat : 18867 (java) S 18850 18850 16140 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 20 0 510987587 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359050939120 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18868] ppid=18850 vsize=28231652 memory=280863078320528 CPUtime=0.01 cores=0-7
/proc/18852/task/18868/stat : 18868 (java) S 18850 18850 16140 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 510987587 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359049886320 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18869] ppid=18850 vsize=28231652 memory=280863078336688 CPUtime=0.12 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) S 18850 18850 16140 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 20 0 510987587 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359048833520 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987588 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510987588 28909211648 12493 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51424 KiB

[startup+0.700916 s]
/proc/loadavg: 8.51 8.30 8.11 6/211 18871
/proc/meminfo: memFree=28429844/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28233776 memory=94060 CPUtime=1.65 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 15193 0 0 0 158 7 0 0 20 0 20 0 510987582 28911386624 23515 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7058444 23515 3453 1 0 7019544 0
[pid=18852/tid=18853] ppid=18850 vsize=28233776 memory=280863078694576 CPUtime=0.68 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) R 18850 18850 16140 0 -1 4202560 9256 0 0 0 64 4 0 0 20 0 20 0 510987582 28911386624 23515 33554432000 4194304 4196468 140730165601744 140360597324240 140360222959968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28233776 memory=140431539348336 CPUtime=0 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510987583 28911386624 23515 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510987583 28911386624 23515 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28233776 memory=1076 CPUtime=0 cores=0-7

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

[pid=18852/tid=18869] ppid=18850 vsize=28768336 memory=6947477896460003696 CPUtime=0.75 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) S 18850 18850 16140 0 -1 1077944384 5165 0 0 0 74 1 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359048833520 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28768336 memory=7234030490512353113 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28768336 memory=7235719379463530607 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18872] ppid=18850 vsize=28768336 memory=6 CPUtime=27.47 cores=0-7
/proc/18852/task/18872/stat : 18872 (java) R 18850 18850 16140 0 -1 4202560 545 0 0 0 2746 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359037748192 140360226220534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18873] ppid=18850 vsize=28768336 memory=280863078655216 CPUtime=27.5 cores=0-7
/proc/18852/task/18873/stat : 18873 (java) R 18850 18850 16140 0 -1 4202560 451 0 0 0 2750 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359036697200 140360225937316 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18874] ppid=18850 vsize=28768336 memory=158240 CPUtime=27.19 cores=0-7
/proc/18852/task/18874/stat : 18874 (java) R 18850 18850 16140 0 -1 4202560 791 0 0 0 2719 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359035646184 140360226338402 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18875] ppid=18850 vsize=28768336 memory=3648 CPUtime=27.48 cores=0-7
/proc/18852/task/18875/stat : 18875 (java) R 18850 18850 16140 0 -1 4202560 742 0 0 0 2747 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359034589216 140360225991651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18876] ppid=18850 vsize=28768336 memory=52216 CPUtime=27.16 cores=0-7
/proc/18852/task/18876/stat : 18876 (java) R 18850 18850 16140 0 -1 4202560 705 0 0 0 2716 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359033536600 140360226741089 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18877] ppid=18850 vsize=28768336 memory=1040 CPUtime=27.29 cores=0-7
/proc/18852/task/18877/stat : 18877 (java) R 18850 18850 16140 0 -1 4202560 513 0 0 0 2729 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359032487136 140360227004627 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18878] ppid=18850 vsize=28768336 memory=2084 CPUtime=27.44 cores=0-7
/proc/18852/task/18878/stat : 18878 (java) R 18850 18850 16140 0 -1 4202560 407 0 0 0 2744 0 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359031434336 140360225838961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18879] ppid=18850 vsize=28768336 memory=1452 CPUtime=27.4 cores=0-7
/proc/18852/task/18879/stat : 18879 (java) R 18850 18850 16140 0 -1 4202560 641 0 0 0 2739 1 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359030378440 140360226274790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 227.33 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 159716 KiB

[startup+29.6011 s]
/proc/loadavg: 8.47 8.32 8.12 10/219 18879
/proc/meminfo: memFree=28337256/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28768336 memory=158264 CPUtime=230.5 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 52115 0 0 0 23019 31 0 0 20 0 28 0 510987582 29458776064 39566 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7192084 39566 3516 1 0 7153184 0
[pid=18852/tid=18853] ppid=18850 vsize=28768336 memory=6791534058613427641 CPUtime=0.74 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) S 18850 18850 16140 0 -1 1077944384 9349 0 0 0 70 4 0 0 20 0 28 0 510987582 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360597329024 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28768336 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 1026 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28768336 memory=6655300316396806240 CPUtime=0.06 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 516 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28768336 memory=6944656592455359580 CPUtime=0.07 cores=0-7
/proc/18852/task/18856/stat : 18856 (java) S 18850 18850 16140 0 -1 1077944384 211 0 0 0 6 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360543603088 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18857] ppid=18850 vsize=28768336 memory=6944652177228980320 CPUtime=0.05 cores=0-7
/proc/18852/task/18857/stat : 18857 (java) S 18850 18850 16140 0 -1 1077944384 815 0 0 0 5 0 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360542550288 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18858] ppid=18850 vsize=28768336 memory=5787213827363856448 CPUtime=0.06 cores=0-7
/proc/18852/task/18858/stat : 18858 (java) S 18850 18850 16140 0 -1 1077944384 478 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360541498512 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18859] ppid=18850 vsize=28768336 memory=7523660571088218467 CPUtime=0.06 cores=0-7
/proc/18852/task/18859/stat : 18859 (java) S 18850 18850 16140 0 -1 1077944384 510 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360540445712 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18860] ppid=18850 vsize=28768336 memory=52216 CPUtime=0.06 cores=0-7
/proc/18852/task/18860/stat : 18860 (java) S 18850 18850 16140 0 -1 1077944384 208 0 0 0 6 0 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360539392912 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18861] ppid=18850 vsize=28768336 memory=1040 CPUtime=0.07 cores=0-7
/proc/18852/task/18861/stat : 18861 (java) S 18850 18850 16140 0 -1 1077944384 803 0 0 0 6 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360137169680 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18862] ppid=18850 vsize=28768336 memory=2084 CPUtime=0.07 cores=0-7
/proc/18852/task/18862/stat : 18862 (java) S 18850 18850 16140 0 -1 1077944384 1544 0 0 0 6 1 0 0 20 0 28 0 510987584 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359056202096 140360593099394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18863] ppid=18850 vsize=28768336 memory=1480 CPUtime=0 cores=0-7
/proc/18852/task/18863/stat : 18863 (java) S 18850 18850 16140 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510987585 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359055148128 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18864] ppid=18850 vsize=28768336 memory=3880 CPUtime=0 cores=0-7
/proc/18852/task/18864/stat : 18864 (java) S 18850 18850 16140 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 510987585 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359054095216 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18865] ppid=18850 vsize=28768336 memory=7712 CPUtime=0 cores=0-7
/proc/18852/task/18865/stat : 18865 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359053043536 140360593106843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18866] ppid=18850 vsize=28768336 memory=1760 CPUtime=2.09 cores=0-7
/proc/18852/task/18866/stat : 18866 (java) S 18850 18850 16140 0 -1 1077944384 10639 0 0 0 206 3 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359051991920 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18867] ppid=18850 vsize=28768336 memory=1172 CPUtime=2.2 cores=0-7
/proc/18852/task/18867/stat : 18867 (java) S 18850 18850 16140 0 -1 1077944384 7346 0 0 0 218 2 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359050939120 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18868] ppid=18850 vsize=28768336 memory=6308 CPUtime=1.86 cores=0-7
/proc/18852/task/18868/stat : 18868 (java) S 18850 18850 16140 0 -1 1077944384 7124 0 0 0 185 1 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359049886320 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18869] ppid=18850 vsize=28768336 memory=828 CPUtime=0.75 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) S 18850 18850 16140 0 -1 1077944384 5165 0 0 0 74 1 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359048833520 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28768336 memory=736 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28768336 memory=1608 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18872] ppid=18850 vsize=28768336 memory=1076 CPUtime=27.87 cores=0-7
/proc/18852/task/18872/stat : 18872 (java) R 18850 18850 16140 0 -1 4202560 545 0 0 0 2786 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359037745352 140360225839328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18873] ppid=18850 vsize=28768336 memory=3124 CPUtime=27.89 cores=0-7
/proc/18852/task/18873/stat : 18873 (java) R 18850 18850 16140 0 -1 4202560 452 0 0 0 2789 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359036694712 140360226831666 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18874] ppid=18850 vsize=28768336 memory=1244 CPUtime=27.58 cores=0-7
/proc/18852/task/18874/stat : 18874 (java) R 18850 18850 16140 0 -1 4202560 791 0 0 0 2758 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359035642184 140360227004857 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18875] ppid=18850 vsize=28768336 memory=14064 CPUtime=27.88 cores=0-7
/proc/18852/task/18875/stat : 18875 (java) R 18850 18850 16140 0 -1 4202560 742 0 0 0 2787 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359034589296 140360225905489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18876] ppid=18850 vsize=28768336 memory=23168 CPUtime=27.56 cores=0-7
/proc/18852/task/18876/stat : 18876 (java) R 18850 18850 16140 0 -1 4202560 705 0 0 0 2756 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359033537200 140360225936947 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18877] ppid=18850 vsize=28768336 memory=2256 CPUtime=27.68 cores=0-7
/proc/18852/task/18877/stat : 18877 (java) R 18850 18850 16140 0 -1 4202560 513 0 0 0 2768 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359032483808 140360226274577 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18878] ppid=18850 vsize=28768336 memory=12328 CPUtime=27.83 cores=0-7
/proc/18852/task/18878/stat : 18878 (java) R 18850 18850 16140 0 -1 4202560 407 0 0 0 2783 0 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359031433824 140360226220742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18879] ppid=18850 vsize=28768336 memory=500 CPUtime=27.79 cores=0-7
/proc/18852/task/18879/stat : 18879 (java) R 18850 18850 16140 0 -1 4202560 642 0 0 0 2778 1 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359030378344 140360226338274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 230.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 159716 KiB

[startup+29.7021 s]
/proc/loadavg: 8.47 8.32 8.12 10/219 18879
/proc/meminfo: memFree=28337256/32770624 swapFree=67023936/67108860
[pid=18850] ppid=18847 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18850/stat : 18850 (xcsp3-exec) S 18847 18850 16140 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510987581 115843072 363 33554432000 4194304 5098028 140725222308064 140725222306168 139889779376764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39387136 140725222310737 140725222310997 140725222310997 140725222313926 0
/proc/18850/statm: 28282 363 304 221 0 87 0
[pid=18852] ppid=18850 vsize=28768336 memory=158264 CPUtime=231.3 cores=0-7
/proc/18852/stat : 18852 (java) S 18850 18850 16140 0 -1 1077944320 52116 0 0 0 23099 31 0 0 20 0 28 0 510987582 29458776064 39566 33554432000 4194304 4196468 140730165601744 140730165584288 140360593088247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
/proc/18852/statm: 7192084 39566 3516 1 0 7153184 0
[pid=18852/tid=18853] ppid=18850 vsize=28768336 memory=1452 CPUtime=0.74 cores=0-7
/proc/18852/task/18853/stat : 18853 (java) S 18850 18850 16140 0 -1 1077944384 9349 0 0 0 70 4 0 0 20 0 28 0 510987582 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360597329024 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18854] ppid=18850 vsize=28768336 memory=140435934590591 CPUtime=0.06 cores=0-7
/proc/18852/task/18854/stat : 18854 (java) S 18850 18850 16140 0 -1 1077944384 1026 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360545708688 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18855] ppid=18850 vsize=28768336 memory=8097589117780583271 CPUtime=0.06 cores=0-7
/proc/18852/task/18855/stat : 18855 (java) S 18850 18850 16140 0 -1 1077944384 516 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360544655888 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18856] ppid=18850 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/18852/task/18856/stat : 18856 (java) S 18850 18850 16140 0 -1 1077944384 211 0 0 0 6 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360543603088 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18857] ppid=18850 vsize=28768336 memory=8387887373967771216 CPUtime=0.05 cores=0-7
/proc/18852/task/18857/stat : 18857 (java) S 18850 18850 16140 0 -1 1077944384 815 0 0 0 5 0 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360542550288 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18858] ppid=18850 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/18852/task/18858/stat : 18858 (java) S 18850 18850 16140 0 -1 1077944384 478 0 0 0 6 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360541498512 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18859] ppid=18850 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/18852/task/18859/stat : 18859 (java) S 18850 18850 16140 0 -1 1077944384 510 0 0 0 5 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360540445712 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18860] ppid=18850 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/18852/task/18860/stat : 18860 (java) S 18850 18850 16140 0 -1 1077944384 208 0 0 0 6 0 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360539392912 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18861] ppid=18850 vsize=28768336 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/18852/task/18861/stat : 18861 (java) S 18850 18850 16140 0 -1 1077944384 803 0 0 0 6 1 0 0 20 0 28 0 510987583 29458776064 39566 33554432000 4194304 4196468 140730165601744 140360137169680 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18862] ppid=18850 vsize=28768336 memory=7306916055891837009 CPUtime=0.07 cores=0-7
/proc/18852/task/18862/stat : 18862 (java) S 18850 18850 16140 0 -1 1077944384 1544 0 0 0 6 1 0 0 20 0 28 0 510987584 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359056202096 140360593099394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18863] ppid=18850 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/18852/task/18863/stat : 18863 (java) S 18850 18850 16140 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510987585 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359055148128 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18864] ppid=18850 vsize=28768336 memory=162135015461748 CPUtime=0 cores=0-7
/proc/18852/task/18864/stat : 18864 (java) S 18850 18850 16140 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 510987585 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359054095216 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18865] ppid=18850 vsize=28768336 memory=4639948313719891052 CPUtime=0 cores=0-7
/proc/18852/task/18865/stat : 18865 (java) S 18850 18850 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359053043536 140360593106843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18866] ppid=18850 vsize=28768336 memory=4639948313719891052 CPUtime=2.09 cores=0-7
/proc/18852/task/18866/stat : 18866 (java) S 18850 18850 16140 0 -1 1077944384 10639 0 0 0 206 3 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359051991920 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18867] ppid=18850 vsize=28768336 memory=0 CPUtime=2.2 cores=0-7
/proc/18852/task/18867/stat : 18867 (java) S 18850 18850 16140 0 -1 1077944384 7346 0 0 0 218 2 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359050939120 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18868] ppid=18850 vsize=28768336 memory=6933961475520409658 CPUtime=1.86 cores=0-7
/proc/18852/task/18868/stat : 18868 (java) S 18850 18850 16140 0 -1 1077944384 7124 0 0 0 185 1 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359049886320 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18869] ppid=18850 vsize=28768336 memory=6940157408071333179 CPUtime=0.75 cores=0-7
/proc/18852/task/18869/stat : 18869 (java) S 18850 18850 16140 0 -1 1077944384 5165 0 0 0 74 1 0 0 20 0 28 0 510987587 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359048833520 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18870] ppid=18850 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18870/stat : 18870 (java) S 18850 18850 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359047780960 140360593098453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18871] ppid=18850 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18852/task/18871/stat : 18871 (java) S 18850 18850 16140 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 28 0 510987588 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359046728240 140360593099394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18872] ppid=18850 vsize=28768336 memory=1399103955520229747 CPUtime=27.97 cores=0-7
/proc/18852/task/18872/stat : 18872 (java) R 18850 18850 16140 0 -1 4202560 545 0 0 0 2796 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359037745488 140360226739670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18873] ppid=18850 vsize=28768336 memory=7236550541518984805 CPUtime=27.99 cores=0-7
/proc/18852/task/18873/stat : 18873 (java) R 18850 18850 16140 0 -1 4202560 452 0 0 0 2799 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359036693904 140360225440451 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18874] ppid=18850 vsize=28768336 memory=7230638415855315287 CPUtime=27.68 cores=0-7
/proc/18852/task/18874/stat : 18874 (java) R 18850 18850 16140 0 -1 4202560 791 0 0 0 2768 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359035642392 140360226339191 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18875] ppid=18850 vsize=28768336 memory=0 CPUtime=27.98 cores=0-7
/proc/18852/task/18875/stat : 18875 (java) R 18850 18850 16140 0 -1 4202560 743 0 0 0 2797 1 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359034592752 140360226339590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18876] ppid=18850 vsize=28768336 memory=-8707038579349950309 CPUtime=27.66 cores=0-7
/proc/18852/task/18876/stat : 18876 (java) R 18850 18850 16140 0 -1 4202560 705 0 0 0 2766 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359033536376 140360226741067 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18877] ppid=18850 vsize=28768336 memory=8514726395714825349 CPUtime=27.78 cores=0-7
/proc/18852/task/18877/stat : 18877 (java) R 18850 18850 16140 0 -1 4202560 513 0 0 0 2778 0 0 0 20 0 28 0 510987658 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359032483856 140360227363089 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18878] ppid=18850 vsize=28768336 memory=7822038051842261661 CPUtime=27.93 cores=0-7
/proc/18852/task/18878/stat : 18878 (java) R 18850 18850 16140 0 -1 4202560 407 0 0 0 2793 0 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359031431160 140360226831458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
[pid=18852/tid=18879] ppid=18850 vsize=28768336 memory=4715433313220523562 CPUtime=27.89 cores=0-7
/proc/18852/task/18879/stat : 18879 (java) R 18850 18850 16140 0 -1 4202560 642 0 0 0 2788 1 0 0 20 0 28 0 510987659 29458776064 39566 33554432000 4194304 4196468 140730165601744 140359030381424 140360226740991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36536320 140730165609430 140730165609606 140730165609606 140730165612495 0
Current children cumulated CPU time: 231.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 159716 KiB

Child status: 0
Real time (s): 29.7825
CPU time (s): 231.877
CPU user time (s): 231.548
CPU system time (s): 0.328926
CPU usage (%): 778.568
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 238252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.548
system time used= 0.328926
maximum resident set size= 242944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8779
involuntary context switches= 3585


# summary of solver processes directly reported to runsolver:
#   pid: 18850
#   total CPU time (s): 231.877
#   total CPU user time (s): 231.548
#   total CPU system time (s): 0.328926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.283043 second user time and 0.380272 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 19:45:10
IDJOB=4406857
IDBENCH=124268
IDSOLVER=2871
FILE ID=node150/4406857-1569347151
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-45.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406857-1569347151/watcher-4406857-1569347151 -o /var/tmp/evaluation-result-4406857-1569347151/solver-4406857-1569347151 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1007611094 HOME/instance-4406857-1569347151.xml

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

MD5SUM BENCH= c29e6924973099ab0a0c802e448a5f67
RANDOM SEED=1007611094

node150.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.79
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.79
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.79
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.79
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:        28486380 kB
MemAvailable:   31817608 kB
Buffers:          102576 kB
Cached:          3335416 kB
SwapCached:         8116 kB
Active:          3361412 kB
Inactive:         110984 kB
Active(anon):       2256 kB
Inactive(anon):    83520 kB
Active(file):    3359156 kB
Inactive(file):    27464 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023936 kB
Dirty:             25984 kB
Writeback:             0 kB
AnonPages:        111776 kB
Mapped:            53596 kB
Shmem:             42756 kB
Slab:             402600 kB
SReclaimable:     373068 kB
SUnreclaim:        29532 kB
KernelStack:        3424 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node150 at 2019-09-24 19:45:40