Trace number 4405003

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelOPT2 175.955 22.8509

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-marketSplit/
Pb-msplit-opt-4-30-1.xml
MD5SUM0b293698762add7ba6ae5db7003c937f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark82.7391
Satisfiable
(Un)Satisfiability was proved
Number of variables94
Number of constraints8
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":94}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":64},{"degree":6,"count":2},{"degree":8,"count":28}]
Minimum constraint arity45
Maximum constraint arity46
Distribution of constraint arities[{"arity":45,"count":4},{"arity":46,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":8}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405003-1569004728.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405003-1569004728.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.08/0.53	c solve instance...
1.08/0.58	o 425 
1.08/0.58	o 421 
1.08/0.59	o 240 
1.08/0.61	o 224 
1.58/0.62	o 179 
1.58/0.63	o 175 
1.58/0.64	o 95 
1.58/0.64	o 75 
1.58/0.65	o 63 
1.58/0.65	o 38 
1.58/0.69	o 32 
1.58/0.69	o 28 
1.58/0.69	o 20 
2.17/0.75	o 17 
2.17/0.77	o 16 
2.17/0.78	o 14 
2.17/0.78	o 13 
2.89/0.82	o 11 
2.89/0.86	o 10 
3.59/0.91	o 8 
3.59/0.93	o 6 
3.59/0.98	o 5 
5.16/1.16	o 3 
47.52/6.54	o 2 
175.63/22.84	s OPTIMUM FOUND
175.63/22.84	v <instantiation>
175.63/22.84	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] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] </list>
175.63/22.84	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 </values>
175.63/22.84	v </instantiation>

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405003-1569004728/watcher-4405003-1569004728 -o /tmp/evaluation-result-4405003-1569004728/solver-4405003-1569004728 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2119441581 HOME/instance-4405003-1569004728.xml 

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

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


[startup+0.100063 s]*
/proc/loadavg: 7.70 8.31 8.27 3/211 20938
/proc/meminfo: memFree=24835592/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28227396 memory=29984 CPUtime=0.12 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 5962 0 0 0 11 1 0 0 20 0 20 0 476725870 28904853504 7496 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7056849 7496 3120 1 0 7019032 0
[pid=20919/tid=20920] ppid=20917 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) R 20917 20917 18400 0 -1 4202560 3877 0 0 0 8 0 0 0 20 0 20 0 476725870 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395689344864 140395685125526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28227396 memory=140057471248410 CPUtime=0 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20924] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20924/stat : 20924 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395233000080 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20925] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20925/stat : 20925 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395231947536 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20926] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20926/stat : 20926 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395230894992 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20927] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20927/stat : 20927 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395229842448 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20928] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20928/stat : 20928 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 7496 33554432000 4194304 4196468 140728134496448 140395228789904 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20929] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20929/stat : 20929 (java) S 20917 20917 18400 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476725872 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394935609328 140395685124738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20930] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20930/stat : 20930 (java) S 20917 20917 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476725873 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394934555552 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20931] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20931/stat : 20931 (java) S 20917 20917 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476725873 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394933502960 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20932] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20932/stat : 20932 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394932451536 140395685132187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20933] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20933/stat : 20933 (java) R 20917 20917 18400 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394931399152 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20934] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20934/stat : 20934 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394930346608 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20935] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20935/stat : 20935 (java) R 20917 20917 18400 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394929294064 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20936] ppid=20917 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) S 20917 20917 18400 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394928241520 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 7496 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31432 KiB

[startup+0.210739 s]*
/proc/loadavg: 7.70 8.31 8.27 3/211 20938
/proc/meminfo: memFree=24822600/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28227396 memory=41224 CPUtime=0.33 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 9557 0 0 0 31 2 0 0 20 0 20 0 476725870 28904853504 10306 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7056849 10306 3263 1 0 7019032 0
[pid=20919/tid=20920] ppid=20917 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) R 20917 20917 18400 0 -1 4202560 6688 0 0 0 18 2 0 0 20 0 20 0 476725870 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395689347296 140395318641895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28227396 memory=3473595391782176416 CPUtime=0 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20924] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20924/stat : 20924 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395233000080 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20925] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20925/stat : 20925 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395231947536 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20926] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20926/stat : 20926 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395230894992 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20927] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20927/stat : 20927 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395229842448 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20928] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20928/stat : 20928 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28904853504 10306 33554432000 4194304 4196468 140728134496448 140395228789904 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20929] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20929/stat : 20929 (java) S 20917 20917 18400 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 476725872 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394935609328 140395685124738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20930] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20930/stat : 20930 (java) S 20917 20917 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476725873 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394934555552 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20931] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20931/stat : 20931 (java) S 20917 20917 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476725873 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394933502960 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20932] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20932/stat : 20932 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394932451536 140395685132187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20933] ppid=20917 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20919/task/20933/stat : 20933 (java) S 20917 20917 18400 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394931399152 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20934] ppid=20917 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20919/task/20934/stat : 20934 (java) S 20917 20917 18400 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394930346608 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20935] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20935/stat : 20935 (java) S 20917 20917 18400 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394929294064 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20936] ppid=20917 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) R 20917 20917 18400 0 -1 4202560 702 0 0 0 7 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394928241328 140395677350718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28904853504 10306 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42672 KiB

[startup+0.310505 s]*
/proc/loadavg: 7.70 8.31 8.27 3/211 20938
/proc/meminfo: memFree=24815700/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28231652 memory=49980 CPUtime=0.51 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 10832 0 0 0 48 3 0 0 20 0 20 0 476725870 28909211648 12495 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7057913 12495 3358 1 0 7019032 0
[pid=20919/tid=20920] ppid=20917 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) R 20917 20917 18400 0 -1 4202560 7840 0 0 0 28 2 0 0 20 0 20 0 476725870 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395689344704 140395669194078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20924] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20924/stat : 20924 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395233000080 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20925] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20925/stat : 20925 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395231947536 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20926] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20926/stat : 20926 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395230894992 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20927] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20927/stat : 20927 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395229842448 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20928] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20928/stat : 20928 (java) S 20917 20917 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476725871 28909211648 12495 33554432000 4194304 4196468 140728134496448 140395228789904 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20929] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20929/stat : 20929 (java) S 20917 20917 18400 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 476725872 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394935609328 140395685124738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20930] ppid=20917 vsize=28231652 memory=280114680241536 CPUtime=0 cores=0-7
/proc/20919/task/20930/stat : 20930 (java) S 20917 20917 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476725873 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394934555552 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20931] ppid=20917 vsize=28231652 memory=280114680246144 CPUtime=0 cores=0-7
/proc/20919/task/20931/stat : 20931 (java) S 20917 20917 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476725873 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394933502960 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20932] ppid=20917 vsize=28231652 memory=280114680250752 CPUtime=0 cores=0-7
/proc/20919/task/20932/stat : 20932 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394932451536 140395685132187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20933] ppid=20917 vsize=28231652 memory=280114680255360 CPUtime=0.02 cores=0-7
/proc/20919/task/20933/stat : 20933 (java) S 20917 20917 18400 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394931399152 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20934] ppid=20917 vsize=28231652 memory=280114680259968 CPUtime=0.03 cores=0-7
/proc/20919/task/20934/stat : 20934 (java) S 20917 20917 18400 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394930346608 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20935] ppid=20917 vsize=28231652 memory=280114680264576 CPUtime=0.01 cores=0-7
/proc/20919/task/20935/stat : 20935 (java) S 20917 20917 18400 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394929294064 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20936] ppid=20917 vsize=28231652 memory=280114680269184 CPUtime=0.12 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) S 20917 20917 18400 0 -1 1077944384 800 0 0 0 12 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394928241520 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476725876 28909211648 12495 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51428 KiB

[startup+0.700901 s]
/proc/loadavg: 7.70 8.31 8.27 4/211 20938
/proc/meminfo: memFree=24796140/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28833880 memory=182608 CPUtime=2.17 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 17296 0 0 0 209 8 0 0 20 0 26 0 476725870 29525893120 45652 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7208470 45652 3464 1 0 7169570 0
[pid=20919/tid=20920] ppid=20917 vsize=28833880 memory=4580 CPUtime=0.53 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) S 20917 20917 18400 0 -1 1077944384 9092 0 0 0 50 3 0 0 20 0 26 0 476725870 29525893120 45652 33554432000 4194304 4196468 140728134496448 140395689354368 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28833880 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 26 0 476725871 29525893120 45652 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28833880 memory=0 CPUtime=0 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 26 0 476725871 29525893120 45652 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28833880 memory=2828 CPUtime=0 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 26 0 476725871 29525893120 45652 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0

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

[pid=20919/tid=20936] ppid=20917 vsize=28833880 memory=30648 CPUtime=0.51 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) S 20917 20917 18400 0 -1 1077944384 4158 0 0 0 50 1 0 0 20 0 28 0 476725876 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394928241520 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28833880 memory=12024 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28833880 memory=500 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) S 20917 20917 18400 0 -1 1077944384 1578 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21132] ppid=20917 vsize=28833880 memory=1560 CPUtime=14.64 cores=0-7
/proc/20919/task/21132/stat : 21132 (java) R 20917 20917 18400 0 -1 4202560 397 0 0 0 1463 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394914814640 140395321377303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21133] ppid=20917 vsize=28833880 memory=932 CPUtime=14.72 cores=0-7
/proc/20919/task/21133/stat : 21133 (java) R 20917 20917 18400 0 -1 4202560 326 0 0 0 1471 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394911657984 140395321377118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21134] ppid=20917 vsize=28833880 memory=3768 CPUtime=14.67 cores=0-7
/proc/20919/task/21134/stat : 21134 (java) R 20917 20917 18400 0 -1 4202560 491 0 0 0 1466 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394916921376 140395321377285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21135] ppid=20917 vsize=28833880 memory=1980 CPUtime=14.64 cores=0-7
/proc/20919/task/21135/stat : 21135 (java) R 20917 20917 18400 0 -1 4202560 655 0 0 0 1463 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394907447112 140395321370027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21136] ppid=20917 vsize=28833880 memory=2512 CPUtime=14.7 cores=0-7
/proc/20919/task/21136/stat : 21136 (java) R 20917 20917 18400 0 -1 4202560 620 0 0 0 1469 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394912707072 140395322202564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21137] ppid=20917 vsize=28833880 memory=1436 CPUtime=14.63 cores=0-7
/proc/20919/task/21137/stat : 21137 (java) R 20917 20917 18400 0 -1 4202560 610 0 0 0 1462 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394910604496 140395321377297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21138] ppid=20917 vsize=28833880 memory=796 CPUtime=14.61 cores=0-7
/proc/20919/task/21138/stat : 21138 (java) R 20917 20917 18400 0 -1 4202560 335 0 0 0 1460 1 0 0 20 0 28 0 476726524 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394908499184 140395664838717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21139] ppid=20917 vsize=28833880 memory=1764 CPUtime=14.77 cores=0-7
/proc/20919/task/21139/stat : 21139 (java) R 20917 20917 18400 0 -1 4202560 689 0 0 0 1476 1 0 0 20 0 28 0 476726525 29525893120 77309 33554432000 4194304 4196468 140728134496448 140394913759544 140395321377313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 166.29 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 310684 KiB

[startup+22.4021 s]
/proc/loadavg: 7.73 8.28 8.26 9/219 21139
/proc/meminfo: memFree=24553168/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28833880 memory=310896 CPUtime=172.46 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 54122 0 1 0 17194 52 0 0 20 0 28 0 476725870 29525893120 77724 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7208470 77724 3514 1 0 7169570 0
[pid=20919/tid=20920] ppid=20917 vsize=28833880 memory=2012 CPUtime=0.53 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) S 20917 20917 18400 0 -1 1077944384 9234 0 0 0 50 3 0 0 20 0 28 0 476725870 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395689354368 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28833880 memory=1436 CPUtime=0.07 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 553 0 0 0 7 0 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28833880 memory=776 CPUtime=0.08 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 1179 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28833880 memory=3604 CPUtime=0.06 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 341 0 0 0 6 0 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20924] ppid=20917 vsize=28833880 memory=2828 CPUtime=0.07 cores=0-7
/proc/20919/task/20924/stat : 20924 (java) S 20917 20917 18400 0 -1 1077944384 874 0 0 0 6 1 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395233000080 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20925] ppid=20917 vsize=28833880 memory=311496 CPUtime=0.07 cores=0-7
/proc/20919/task/20925/stat : 20925 (java) S 20917 20917 18400 0 -1 1077944384 540 0 0 0 6 1 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395231947536 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20926] ppid=20917 vsize=28833880 memory=297237795305685307 CPUtime=0.08 cores=0-7
/proc/20919/task/20926/stat : 20926 (java) S 20917 20917 18400 0 -1 1077944384 423 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395230894992 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20927] ppid=20917 vsize=28833880 memory=13848573129264102 CPUtime=0.07 cores=0-7
/proc/20919/task/20927/stat : 20927 (java) S 20917 20917 18400 0 -1 1077944384 870 0 0 0 7 0 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395229842448 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20928] ppid=20917 vsize=28833880 memory=6009580248489619056 CPUtime=0.08 cores=0-7
/proc/20919/task/20928/stat : 20928 (java) S 20917 20917 18400 0 -1 1077944384 518 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 77724 33554432000 4194304 4196468 140728134496448 140395228789904 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20929] ppid=20917 vsize=28833880 memory=6009580248489619056 CPUtime=0.06 cores=0-7
/proc/20919/task/20929/stat : 20929 (java) S 20917 20917 18400 0 -1 1077944384 1882 0 0 0 4 2 0 0 20 0 28 0 476725872 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394935609328 140395685124738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20930] ppid=20917 vsize=28833880 memory=7012781169059589485 CPUtime=0 cores=0-7
/proc/20919/task/20930/stat : 20930 (java) S 20917 20917 18400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476725873 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394934555552 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20931] ppid=20917 vsize=28833880 memory=7302708190622736997 CPUtime=0 cores=0-7
/proc/20919/task/20931/stat : 20931 (java) S 20917 20917 18400 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476725873 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394933502960 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20932] ppid=20917 vsize=28833880 memory=6372145354755958118 CPUtime=0 cores=0-7
/proc/20919/task/20932/stat : 20932 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394932451536 140395685132187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20933] ppid=20917 vsize=28833880 memory=6372145354755958118 CPUtime=0.85 cores=0-7
/proc/20919/task/20933/stat : 20933 (java) S 20917 20917 18400 0 -1 1077944384 4636 0 0 0 84 1 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394931399152 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20934] ppid=20917 vsize=28833880 memory=56 CPUtime=1.24 cores=0-7
/proc/20919/task/20934/stat : 20934 (java) S 20917 20917 18400 0 -1 1077944384 7972 0 0 0 122 2 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394930346608 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20935] ppid=20917 vsize=28833880 memory=6943526294502006880 CPUtime=1.11 cores=0-7
/proc/20919/task/20935/stat : 20935 (java) S 20917 20917 18400 0 -1 1077944384 8348 0 0 0 109 2 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394929294064 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20936] ppid=20917 vsize=28833880 memory=6944656592455360604 CPUtime=0.51 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) S 20917 20917 18400 0 -1 1077944384 4412 0 0 0 50 1 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394928241520 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28833880 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28833880 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) R 20917 20917 18400 0 -1 1077944384 1594 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21132] ppid=20917 vsize=28833880 memory=6656426216303648864 CPUtime=15.43 cores=0-7
/proc/20919/task/21132/stat : 21132 (java) R 20917 20917 18400 0 -1 4202560 452 0 0 0 1542 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394914811088 140395321379367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21133] ppid=20917 vsize=28833880 memory=6943526294502006880 CPUtime=15.45 cores=0-7
/proc/20919/task/21133/stat : 21133 (java) R 20917 20917 18400 0 -1 4202560 389 0 0 0 1544 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394911657888 140395321377407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21134] ppid=20917 vsize=28833880 memory=6656426216303648864 CPUtime=15.42 cores=0-7
/proc/20919/task/21134/stat : 21134 (java) R 20917 20917 18400 0 -1 4202560 552 0 0 0 1540 2 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394916921376 140395322435049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21135] ppid=20917 vsize=28833880 memory=6944656575208382560 CPUtime=15.43 cores=0-7
/proc/20919/task/21135/stat : 21135 (java) R 20917 20917 18400 0 -1 4202560 791 0 0 0 1542 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394907447456 140395323343099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21136] ppid=20917 vsize=28833880 memory=0 CPUtime=15.48 cores=0-7
/proc/20919/task/21136/stat : 21136 (java) R 20917 20917 18400 0 -1 4202560 692 0 0 0 1547 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394912711040 140395322202490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21137] ppid=20917 vsize=28833880 memory=0 CPUtime=15.35 cores=0-7
/proc/20919/task/21137/stat : 21137 (java) R 20917 20917 18400 0 -1 4202560 690 0 0 0 1534 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394910602160 140395322203713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21138] ppid=20917 vsize=28833880 memory=0 CPUtime=15.38 cores=0-7
/proc/20919/task/21138/stat : 21138 (java) R 20917 20917 18400 0 -1 4202560 387 0 0 0 1537 1 0 0 20 0 28 0 476726524 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394908499976 140395321377127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21139] ppid=20917 vsize=28833880 memory=0 CPUtime=15.56 cores=0-7
/proc/20919/task/21139/stat : 21139 (java) R 20917 20917 18400 0 -1 4202560 758 0 0 0 1555 1 0 0 20 0 28 0 476726525 29525893120 77724 33554432000 4194304 4196468 140728134496448 140394913759408 140395322202477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 172.46 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 312344 KiB

[startup+22.802 s]
/proc/loadavg: 7.73 8.28 8.26 9/219 21139
/proc/meminfo: memFree=24553168/32770624 swapFree=66999228/67108860
[pid=20917] ppid=20914 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/20917/stat : 20917 (xcsp3-exec) S 20914 20917 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476725870 115843072 362 33554432000 4194304 5098028 140734023282464 140734023280568 139648816112252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33849344 140734023287675 140734023287918 140734023287918 140734023290826 0
/proc/20917/statm: 28282 362 304 221 0 87 0
[pid=20919] ppid=20917 vsize=28833880 memory=312432 CPUtime=175.63 cores=0-7
/proc/20919/stat : 20919 (java) S 20917 20917 18400 0 -1 1077944320 54223 0 1 0 17511 52 0 0 20 0 28 0 476725870 29525893120 78108 33554432000 4194304 4196468 140728134496448 140728134478992 140395685113591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
/proc/20919/statm: 7208470 78108 3514 1 0 7169570 0
[pid=20919/tid=20920] ppid=20917 vsize=28833880 memory=1712 CPUtime=0.53 cores=0-7
/proc/20919/task/20920/stat : 20920 (java) S 20917 20917 18400 0 -1 1077944384 9234 0 0 0 50 3 0 0 20 0 28 0 476725870 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395689354368 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20921] ppid=20917 vsize=28833880 memory=1112 CPUtime=0.07 cores=0-7
/proc/20919/task/20921/stat : 20921 (java) S 20917 20917 18400 0 -1 1077944384 556 0 0 0 7 0 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395637733648 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20922] ppid=20917 vsize=28833880 memory=1004 CPUtime=0.08 cores=0-7
/proc/20919/task/20922/stat : 20922 (java) S 20917 20917 18400 0 -1 1077944384 1181 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395235105168 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20923] ppid=20917 vsize=28833880 memory=5832 CPUtime=0.06 cores=0-7
/proc/20919/task/20923/stat : 20923 (java) S 20917 20917 18400 0 -1 1077944384 343 0 0 0 6 0 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395234052624 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20924] ppid=20917 vsize=28833880 memory=13984 CPUtime=0.07 cores=0-7
/proc/20919/task/20924/stat : 20924 (java) S 20917 20917 18400 0 -1 1077944384 876 0 0 0 6 1 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395233000080 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20925] ppid=20917 vsize=28833880 memory=2124 CPUtime=0.07 cores=0-7
/proc/20919/task/20925/stat : 20925 (java) S 20917 20917 18400 0 -1 1077944384 540 0 0 0 6 1 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395231947536 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20926] ppid=20917 vsize=28833880 memory=30648 CPUtime=0.08 cores=0-7
/proc/20919/task/20926/stat : 20926 (java) S 20917 20917 18400 0 -1 1077944384 425 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395230894992 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20927] ppid=20917 vsize=28833880 memory=12024 CPUtime=0.07 cores=0-7
/proc/20919/task/20927/stat : 20927 (java) S 20917 20917 18400 0 -1 1077944384 874 0 0 0 7 0 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395229842448 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20928] ppid=20917 vsize=28833880 memory=500 CPUtime=0.08 cores=0-7
/proc/20919/task/20928/stat : 20928 (java) S 20917 20917 18400 0 -1 1077944384 522 0 0 0 7 1 0 0 20 0 28 0 476725871 29525893120 78108 33554432000 4194304 4196468 140728134496448 140395228789904 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20929] ppid=20917 vsize=28833880 memory=1560 CPUtime=0.06 cores=0-7
/proc/20919/task/20929/stat : 20929 (java) S 20917 20917 18400 0 -1 1077944384 1886 0 0 0 4 2 0 0 20 0 28 0 476725872 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394935609328 140395685124738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20930] ppid=20917 vsize=28833880 memory=932 CPUtime=0 cores=0-7
/proc/20919/task/20930/stat : 20930 (java) S 20917 20917 18400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476725873 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394934555552 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20931] ppid=20917 vsize=28833880 memory=313876 CPUtime=0 cores=0-7
/proc/20919/task/20931/stat : 20931 (java) S 20917 20917 18400 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476725873 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394933502960 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20932] ppid=20917 vsize=28833880 memory=303430244793319739 CPUtime=0 cores=0-7
/proc/20919/task/20932/stat : 20932 (java) S 20917 20917 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394932451536 140395685132187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20933] ppid=20917 vsize=28833880 memory=3504 CPUtime=0.85 cores=0-7
/proc/20919/task/20933/stat : 20933 (java) S 20917 20917 18400 0 -1 1077944384 4636 0 0 0 84 1 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394931399152 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20934] ppid=20917 vsize=28833880 memory=56140 CPUtime=1.24 cores=0-7
/proc/20919/task/20934/stat : 20934 (java) S 20917 20917 18400 0 -1 1077944384 7972 0 0 0 122 2 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394930346608 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20935] ppid=20917 vsize=28833880 memory=3028 CPUtime=1.11 cores=0-7
/proc/20919/task/20935/stat : 20935 (java) S 20917 20917 18400 0 -1 1077944384 8348 0 0 0 109 2 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394929294064 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20936] ppid=20917 vsize=28833880 memory=2012 CPUtime=0.51 cores=0-7
/proc/20919/task/20936/stat : 20936 (java) S 20917 20917 18400 0 -1 1077944384 4412 0 0 0 50 1 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394928241520 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20937] ppid=20917 vsize=28833880 memory=1436 CPUtime=0 cores=0-7
/proc/20919/task/20937/stat : 20937 (java) S 20917 20917 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394927188192 140395685123797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=20938] ppid=20917 vsize=28833880 memory=776 CPUtime=0 cores=0-7
/proc/20919/task/20938/stat : 20938 (java) S 20917 20917 18400 0 -1 1077944384 1594 0 0 0 0 0 0 0 20 0 28 0 476725876 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394926135728 140395685124738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21132] ppid=20917 vsize=28833880 memory=3604 CPUtime=15.82 cores=0-7
/proc/20919/task/21132/stat : 21132 (java) R 20917 20917 18400 0 -1 4202560 458 0 0 0 1581 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394914814752 140728134633696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21133] ppid=20917 vsize=28833880 memory=2828 CPUtime=15.84 cores=0-7
/proc/20919/task/21133/stat : 21133 (java) R 20917 20917 18400 0 -1 4202560 396 0 0 0 1583 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394911657888 140395321377094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21134] ppid=20917 vsize=28833880 memory=6791534058613427641 CPUtime=15.81 cores=0-7
/proc/20919/task/21134/stat : 21134 (java) R 20917 20917 18400 0 -1 4202560 557 0 0 0 1579 2 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394916921376 140395322302565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21135] ppid=20917 vsize=28833880 memory=1060 CPUtime=15.83 cores=0-7
/proc/20919/task/21135/stat : 21135 (java) R 20917 20917 18400 0 -1 4202560 820 0 0 0 1582 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394907447472 140395321377118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21136] ppid=20917 vsize=28833880 memory=1548 CPUtime=15.88 cores=0-7
/proc/20919/task/21136/stat : 21136 (java) R 20917 20917 18400 0 -1 4202560 701 0 0 0 1587 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394912710944 140395321377365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21137] ppid=20917 vsize=28833880 memory=8560 CPUtime=15.75 cores=0-7
/proc/20919/task/21137/stat : 21137 (java) R 20917 20917 18400 0 -1 4202560 692 0 0 0 1574 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394910605728 140395321376354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21138] ppid=20917 vsize=28833880 memory=30961 CPUtime=15.78 cores=0-7
/proc/20919/task/21138/stat : 21138 (java) R 20917 20917 18400 0 -1 4202560 395 0 0 0 1577 1 0 0 20 0 28 0 476726524 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394908499976 140395321112507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
[pid=20919/tid=21139] ppid=20917 vsize=28833880 memory=4420 CPUtime=15.95 cores=0-7
/proc/20919/task/21139/stat : 21139 (java) R 20917 20917 18400 0 -1 4202560 770 0 0 0 1594 1 0 0 20 0 28 0 476726525 29525893120 78108 33554432000 4194304 4196468 140728134496448 140394913763072 140395323342891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140728134505456 140728134505627 140728134505627 140728134508495 0
Current children cumulated CPU time: 175.63 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 313880 KiB

Child status: 0
Real time (s): 22.8509
CPU time (s): 175.955
CPU user time (s): 175.418
CPU system time (s): 0.536923
CPU usage (%): 770.013
Max. virtual memory (cumulated for all children) (KiB): 28948832
Max. memory (cumulated for all children) (KiB): 360056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.418
system time used= 0.536923
maximum resident set size= 359068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56103
page faults= 1
swaps= 0
block input operations= 2600
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44738
involuntary context switches= 1674


# summary of solver processes directly reported to runsolver:
#   pid: 20917
#   total CPU time (s): 175.955
#   total CPU user time (s): 175.418
#   total CPU system time (s): 0.536923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232547 second user time and 0.290959 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-20 20:37:49
IDJOB=4405003
IDBENCH=135505
IDSOLVER=2866
FILE ID=node103/4405003-1569004728
RUNJOBID= node103-1568994181-18427
PBS_JOBID= 21704716
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-marketSplit/Pb-msplit-opt-4-30-1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405003-1569004728/watcher-4405003-1569004728 -o /tmp/evaluation-result-4405003-1569004728/solver-4405003-1569004728 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2119441581 HOME/instance-4405003-1569004728.xml

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

MD5SUM BENCH= 0b293698762add7ba6ae5db7003c937f
RANDOM SEED=2119441581

node103.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.74
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.74
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.74
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.74
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:        24853340 kB
MemAvailable:   31875504 kB
Buffers:           48536 kB
Cached:          7256884 kB
SwapCached:         6976 kB
Active:          3593976 kB
Inactive:        3725588 kB
Active(anon):       2760 kB
Inactive(anon):    60608 kB
Active(file):    3591216 kB
Inactive(file):  3664980 kB
Unevictable:      107480 kB
Mlocked:          107480 kB
SwapTotal:      67108860 kB
SwapFree:       66999228 kB
Dirty:             26124 kB
Writeback:             0 kB
AnonPages:        115016 kB
Mapped:            52696 kB
Shmem:             40864 kB
Slab:             191676 kB
SReclaimable:     163604 kB
SUnreclaim:        28072 kB
KernelStack:        3424 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20832 MiB
End job on node103 at 2019-09-20 20:38:12