Trace number 4407344

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-24 parallelOPT34 163.51 21.2837

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-05-12.xml
MD5SUMd0005c97ad61d9cead696518787f869e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark14.9253
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints146
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":60},{"size":9,"count":60}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":60},{"degree":7,"count":4},{"degree":8,"count":26},{"degree":10,"count":30}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":60},{"arity":3,"count":26},{"arity":4,"count":4},{"arity":6,"count":26},{"arity":9,"count":30}]
Number of extensional constraints86
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":86},{"type":"sum","count":60}]
Optimization problemYES
Type of objectivemax 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-4407344-1569346528.xml"  -tl '2016s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4407344-1569346528.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.66/0.73	c solve instance...
1.66/0.77	o 0 
1.66/0.78	o 4 
1.66/0.80	o 5 
1.66/0.80	o 6 
2.19/0.82	o 8 
2.19/0.82	o 9 
2.19/0.83	o 10 
2.19/0.85	o 14 
2.87/0.91	o 16 
2.87/0.95	o 25 
2.87/0.99	o 27 
3.66/1.05	o 28 
3.66/1.10	o 30 
4.44/1.16	o 31 
5.15/1.21	o 32 
5.94/1.35	o 34 
162.93/21.27	s OPTIMUM FOUND
162.93/21.27	v <instantiation>
162.93/21.27	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[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[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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] </list>
162.93/21.27	v 	<values>1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 3 3 4 2 2 2 2 3 2 4 3 3 3 3 5 3 5 4 3 6 3 5 3 3 4 4 5 2 4 3 3 6 2 5 4 4 3 3 5 3 5 4 3 6 3 5 3 3 3 3 4 2 2 2 2 3 2 4 3 3 </values>
162.93/21.27	v </instantiation>

Verifier Data 

OK	34

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407344-1569346528/watcher-4407344-1569346528 -o /var/tmp/evaluation-result-4407344-1569346528/solver-4407344-1569346528 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 327303870 HOME/instance-4407344-1569346528.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=2516, runsolver pid=2513
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 8.15 8.29 8.24 3/212 2537
/proc/meminfo: memFree=25733564/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28227396 memory=29084 CPUtime=0.11 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 5737 0 0 0 10 1 0 0 20 0 20 0 510589246 28904853504 7271 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7056849 7271 3123 1 0 7019032 0
[pid=2518/tid=2519] ppid=2516 vsize=28227396 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 3647 0 0 0 8 1 0 0 20 0 20 0 510589246 28904853504 7271 33554432000 4194304 4196468 140722796024240 140155358303104 140155338147166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28227396 memory=140137533789824 CPUtime=0 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2523] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2524] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2525] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2526] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2527] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2528] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2529] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2530] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2531] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2532] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2533] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2534] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2535] ppid=2516 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 7271 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30536 KiB

[startup+0.210741 s]*
/proc/loadavg: 8.15 8.29 8.24 3/212 2537
/proc/meminfo: memFree=25719816/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28227396 memory=40800 CPUtime=0.33 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 9484 0 0 0 30 3 0 0 20 0 20 0 510589246 28904853504 10200 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7056849 10200 3276 1 0 7019032 0
[pid=2518/tid=2519] ppid=2516 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 510589246 28904853504 10200 33554432000 4194304 4196468 140722796024240 140155358300144 140155354078614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28227396 memory=4049492144638908064 CPUtime=0 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2523] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2524] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2525] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2526] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2527] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2528] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2529] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2530] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2531] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2532] ppid=2516 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2533] ppid=2516 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2534] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2535] ppid=2516 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) R 2516 2516 30433 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154462391024 140155333201162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28904853504 10200 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42252 KiB

[startup+0.321054 s]*
/proc/loadavg: 8.15 8.29 8.24 3/212 2537
/proc/meminfo: memFree=25713208/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28231652 memory=50600 CPUtime=0.54 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 11013 0 0 0 49 5 0 0 20 0 20 0 510589246 28909211648 12650 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7057913 12650 3362 1 0 7019032 0
[pid=2518/tid=2519] ppid=2516 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 7915 0 0 0 27 3 0 0 20 0 20 0 510589246 28909211648 12724 33554432000 4194304 4196468 140722796024240 140155358300464 140155338147166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28231652 memory=35720 CPUtime=0 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2523] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2524] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2525] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2526] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2527] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589247 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2528] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2529] ppid=2516 vsize=28231652 memory=140137400993231 CPUtime=0 cores=0-7
/proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154854028064 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2530] ppid=2516 vsize=28231652 memory=280274801981840 CPUtime=0 cores=0-7
/proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510589249 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2531] ppid=2516 vsize=28231652 memory=280274801979536 CPUtime=0 cores=0-7
/proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2532] ppid=2516 vsize=28231652 memory=280274801995664 CPUtime=0.03 cores=0-7
/proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2533] ppid=2516 vsize=28231652 memory=280274801993360 CPUtime=0.03 cores=0-7
/proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 141 0 0 0 3 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2534] ppid=2516 vsize=28231652 memory=280274802000272 CPUtime=0.02 cores=0-7
/proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2535] ppid=2516 vsize=28231652 memory=280274801941520 CPUtime=0.13 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) R 2516 2516 30433 0 -1 4202560 873 0 0 0 13 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154462391024 140155354088026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589252 28909211648 12724 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52052 KiB

[startup+0.701025 s]
/proc/loadavg: 8.15 8.29 8.24 3/212 2537
/proc/meminfo: memFree=25701976/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28233776 memory=92508 CPUtime=1.66 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 16863 0 0 0 158 8 0 0 20 0 20 0 510589246 28911386624 23127 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7058444 23127 3457 1 0 7019544 0
[pid=2518/tid=2519] ppid=2516 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) R 2516 2516 30433 0 -1 4202560 9243 0 0 0 63 4 0 0 20 0 20 0 510589246 28911386624 23127 33554432000 4194304 4196468 140722796024240 140155358299432 140154991605617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28233776 memory=280274802041920 CPUtime=0 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28233776 memory=140137401197424 CPUtime=0 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510589247 28911386624 23127 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0

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

[pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=776 CPUtime=0.78 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 4868 0 0 0 77 1 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=1056 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=3616 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) R 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=155404 CPUtime=17.89 cores=0-7
/proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 261 0 0 0 1789 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153390612136 140154997544240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=1660 CPUtime=18.22 cores=0-7
/proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 285 0 0 0 1821 1 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154448146832 140154997947376 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=1808 CPUtime=18.1 cores=0-7
/proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 289 0 0 0 1810 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154450252144 140154997545916 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=920 CPUtime=18.06 cores=0-7
/proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 699 0 0 0 1806 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154451305152 140154992614739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=4456 CPUtime=17.97 cores=0-7
/proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 327 0 0 0 1797 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140154449201776 140154997017132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=6935054825532540783 CPUtime=18.08 cores=0-7
/proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 430 0 0 0 1807 1 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153387454936 140154997544045 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=4126316290023845779 CPUtime=18.06 cores=0-7
/proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 819 0 0 0 1806 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153389559392 140154994882479 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=8136 CPUtime=18.08 cores=0-7
/proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 571 0 0 0 1808 0 0 0 20 0 28 0 510589381 29526937600 38346 33554432000 4194304 4196468 140722796024240 140153391664720 140154994884035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 153.51 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 154836 KiB

[startup+20.8081 s]
/proc/loadavg: 8.45 8.35 8.26 9/220 2675
/proc/meminfo: memFree=25608224/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28834900 memory=154924 CPUtime=159.81 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 42531 0 0 0 15952 29 0 0 20 0 28 0 510589246 29526937600 38731 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7208725 38731 3531 1 0 7169825 0
[pid=2518/tid=2519] ppid=2516 vsize=28834900 memory=280274802680448 CPUtime=0.73 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) S 2516 2516 30433 0 -1 1077944384 9344 0 0 0 68 5 0 0 20 0 28 0 510589246 29526937600 38731 33554432000 4194304 4196468 140722796024240 140155358307456 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28834900 memory=8112282956445269571 CPUtime=0.04 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 228 0 0 0 3 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28834900 memory=6944656592455359580 CPUtime=0.04 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 137 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28834900 memory=6944656575208382560 CPUtime=0.04 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 287 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2523] ppid=2516 vsize=28834900 memory=6943526294502006880 CPUtime=0.05 cores=0-7
/proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2524] ppid=2516 vsize=28834900 memory=6944652177228980320 CPUtime=0.05 cores=0-7
/proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2525] ppid=2516 vsize=28834900 memory=280274802425440 CPUtime=0.04 cores=0-7
/proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2526] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.04 cores=0-7
/proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1132 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2527] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.04 cores=0-7
/proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 476 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2528] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0.05 cores=0-7
/proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 1278 0 0 0 4 1 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2529] ppid=2516 vsize=28834900 memory=12989189065450 CPUtime=0 cores=0-7
/proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154854028128 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2530] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=0 cores=0-7
/proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2531] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=0 cores=0-7
/proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2532] ppid=2516 vsize=28834900 memory=12989189065194 CPUtime=1.33 cores=0-7
/proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 6344 0 0 0 132 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2533] ppid=2516 vsize=28834900 memory=1452 CPUtime=1.44 cores=0-7
/proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 4155 0 0 0 143 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2534] ppid=2516 vsize=28834900 memory=153384 CPUtime=1.34 cores=0-7
/proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 4622 0 0 0 133 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=14080 CPUtime=0.79 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 5541 0 0 0 78 1 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=35720 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=2120 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=0 CPUtime=18.68 cores=0-7
/proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 263 0 0 0 1868 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153390611328 140154994884015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=0 CPUtime=18.99 cores=0-7
/proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 286 0 0 0 1898 1 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154448149200 140154997945397 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=280274802026528 CPUtime=18.89 cores=0-7
/proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 292 0 0 0 1889 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154450252824 140154994884001 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=140137401894464 CPUtime=18.83 cores=0-7
/proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 708 0 0 0 1883 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154451304144 140154999346113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=0 CPUtime=18.75 cores=0-7
/proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 328 0 0 0 1875 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140154449199520 140154992614566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=1452 CPUtime=18.87 cores=0-7
/proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 432 0 0 0 1886 1 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153387454936 140154992614566 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=156400 CPUtime=18.85 cores=0-7
/proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 822 0 0 0 1885 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153389560216 140154997544807 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=0 CPUtime=18.86 cores=0-7
/proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 579 0 0 0 1886 0 0 0 20 0 28 0 510589381 29526937600 38731 33554432000 4194304 4196468 140722796024240 140153391665400 140154997543916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 159.81 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 156376 KiB

[startup+21.2021 s]
/proc/loadavg: 8.45 8.35 8.26 9/219 2675
/proc/meminfo: memFree=25607516/32770624 swapFree=66966880/67108860
[pid=2516] ppid=2513 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2516/stat : 2516 (xcsp3-exec) S 2513 2516 30433 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510589246 115843072 363 33554432000 4194304 5098028 140733032230576 140733032228680 139675675849340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20885504 140733032231768 140733032232026 140733032232026 140733032234950 0
/proc/2516/statm: 28282 363 305 221 0 87 0
[pid=2518] ppid=2516 vsize=28834900 memory=154412 CPUtime=162.93 cores=0-7
/proc/2518/stat : 2518 (java) S 2516 2516 30433 0 -1 1077944320 42553 0 0 0 16264 29 0 0 20 0 28 0 510589246 29526937600 38603 33554432000 4194304 4196468 140722796024240 140722796006784 140155354066679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
/proc/2518/statm: 7208725 38603 3531 1 0 7169825 0
[pid=2518/tid=2519] ppid=2516 vsize=28834900 memory=7306879720424499058 CPUtime=0.73 cores=0-7
/proc/2518/task/2519/stat : 2519 (java) S 2516 2516 30433 0 -1 1077944384 9344 0 0 0 68 5 0 0 20 0 28 0 510589246 29526937600 38603 33554432000 4194304 4196468 140722796024240 140155358307456 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2520] ppid=2516 vsize=28834900 memory=7596839636989794665 CPUtime=0.04 cores=0-7
/proc/2518/task/2520/stat : 2520 (java) S 2516 2516 30433 0 -1 1077944384 228 0 0 0 3 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154905602448 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2521] ppid=2516 vsize=28834900 memory=301741373374332954 CPUtime=0.04 cores=0-7
/proc/2518/task/2521/stat : 2521 (java) S 2516 2516 30433 0 -1 1077944384 138 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154904549648 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2522] ppid=2516 vsize=28834900 memory=288230617509003574 CPUtime=0.04 cores=0-7
/proc/2518/task/2522/stat : 2522 (java) S 2516 2516 30433 0 -1 1077944384 288 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154903497360 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2523] ppid=2516 vsize=28834900 memory=15258159904196609 CPUtime=0.05 cores=0-7
/proc/2518/task/2523/stat : 2523 (java) S 2516 2516 30433 0 -1 1077944384 407 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154902444560 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2524] ppid=2516 vsize=28834900 memory=1412 CPUtime=0.05 cores=0-7
/proc/2518/task/2524/stat : 2524 (java) S 2516 2516 30433 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154901392272 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2525] ppid=2516 vsize=28834900 memory=3004 CPUtime=0.04 cores=0-7
/proc/2518/task/2525/stat : 2525 (java) S 2516 2516 30433 0 -1 1077944384 406 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154900339472 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2526] ppid=2516 vsize=28834900 memory=1452 CPUtime=0.05 cores=0-7
/proc/2518/task/2526/stat : 2526 (java) S 2516 2516 30433 0 -1 1077944384 1132 0 0 0 5 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154899287184 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2527] ppid=2516 vsize=28834900 memory=169700 CPUtime=0.04 cores=0-7
/proc/2518/task/2527/stat : 2527 (java) S 2516 2516 30433 0 -1 1077944384 477 0 0 0 4 0 0 0 20 0 28 0 510589247 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154898234384 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2528] ppid=2516 vsize=28834900 memory=280274801882560 CPUtime=0.05 cores=0-7
/proc/2518/task/2528/stat : 2528 (java) S 2516 2516 30433 0 -1 1077944384 1284 0 0 0 4 1 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154855082096 140155354077826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2529] ppid=2516 vsize=28834900 memory=288230587427463846 CPUtime=0 cores=0-7
/proc/2518/task/2529/stat : 2529 (java) S 2516 2516 30433 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154854028128 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2530] ppid=2516 vsize=28834900 memory=14691889941074687 CPUtime=0 cores=0-7
/proc/2518/task/2530/stat : 2530 (java) S 2516 2516 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510589249 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154852975728 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2531] ppid=2516 vsize=28834900 memory=4456 CPUtime=0 cores=0-7
/proc/2518/task/2531/stat : 2531 (java) S 2516 2516 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154851924048 140155354085275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2532] ppid=2516 vsize=28834900 memory=6442213876373414240 CPUtime=1.33 cores=0-7
/proc/2518/task/2532/stat : 2532 (java) S 2516 2516 30433 0 -1 1077944384 6344 0 0 0 132 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154850871920 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2533] ppid=2516 vsize=28834900 memory=2319546954909224214 CPUtime=1.44 cores=0-7
/proc/2518/task/2533/stat : 2533 (java) S 2516 2516 30433 0 -1 1077944384 4155 0 0 0 143 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154464496112 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2534] ppid=2516 vsize=28834900 memory=150942330655673 CPUtime=1.34 cores=0-7
/proc/2518/task/2534/stat : 2534 (java) S 2516 2516 30433 0 -1 1077944384 4622 0 0 0 133 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154463443824 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2535] ppid=2516 vsize=28834900 memory=1452 CPUtime=0.79 cores=0-7
/proc/2518/task/2535/stat : 2535 (java) S 2516 2516 30433 0 -1 1077944384 5541 0 0 0 78 1 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154462391024 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2536] ppid=2516 vsize=28834900 memory=152868 CPUtime=0 cores=0-7
/proc/2518/task/2536/stat : 2536 (java) S 2516 2516 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154461337952 140155354076885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2537] ppid=2516 vsize=28834900 memory=4856351934171879829 CPUtime=0 cores=0-7
/proc/2518/task/2537/stat : 2537 (java) S 2516 2516 30433 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 28 0 510589252 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154460285232 140155354077826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2666] ppid=2516 vsize=28834900 memory=-7308610313020399446 CPUtime=19.07 cores=0-7
/proc/2518/task/2666/stat : 2666 (java) R 2516 2516 30433 0 -1 4202560 264 0 0 0 1907 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153390612136 140154997543382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2667] ppid=2516 vsize=28834900 memory=-7599660906365017200 CPUtime=19.38 cores=0-7
/proc/2518/task/2667/stat : 2667 (java) R 2516 2516 30433 0 -1 4202560 286 0 0 0 1937 1 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154448147096 140154997544724 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2668] ppid=2516 vsize=28834900 memory=-6230263163210191963 CPUtime=19.28 cores=0-7
/proc/2518/task/2668/stat : 2668 (java) R 2516 2516 30433 0 -1 4202560 292 0 0 0 1928 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154450252464 140154999507288 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2669] ppid=2516 vsize=28834900 memory=-6295304829150910815 CPUtime=19.22 cores=0-7
/proc/2518/task/2669/stat : 2669 (java) R 2516 2516 30433 0 -1 4202560 708 0 0 0 1922 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154451306848 140154999420541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2670] ppid=2516 vsize=28834900 memory=0 CPUtime=19.14 cores=0-7
/proc/2518/task/2670/stat : 2670 (java) R 2516 2516 30433 0 -1 4202560 329 0 0 0 1914 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140154449200184 140154997412419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2671] ppid=2516 vsize=28834900 memory=280274802534592 CPUtime=19.26 cores=0-7
/proc/2518/task/2671/stat : 2671 (java) R 2516 2516 30433 0 -1 4202560 432 0 0 0 1925 1 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153387454752 140154997546491 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2672] ppid=2516 vsize=28834900 memory=140137401224832 CPUtime=19.24 cores=0-7
/proc/2518/task/2672/stat : 2672 (java) R 2516 2516 30433 0 -1 4202560 822 0 0 0 1924 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153389559536 140154999507381 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
[pid=2518/tid=2673] ppid=2516 vsize=28834900 memory=65 CPUtime=19.24 cores=0-7
/proc/2518/task/2673/stat : 2673 (java) R 2516 2516 30433 0 -1 4202560 589 0 0 0 1924 0 0 0 20 0 28 0 510589381 29526937600 38603 33554432000 4194304 4196468 140722796024240 140153391664656 140154992614551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140722796032988 140722796033163 140722796033163 140722796036047 0
Current children cumulated CPU time: 162.93 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 155864 KiB

Child status: 0
Real time (s): 21.2837
CPU time (s): 163.51
CPU user time (s): 163.204
CPU system time (s): 0.306298
CPU usage (%): 768.238
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 223692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.204
system time used= 0.306298
maximum resident set size= 224192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8549
involuntary context switches= 2576


# summary of solver processes directly reported to runsolver:
#   pid: 2516
#   total CPU time (s): 163.51
#   total CPU user time (s): 163.204
#   total CPU system time (s): 0.306298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.261876 second user time and 0.233741 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 19:34:46
IDJOB=4407344
IDBENCH=115990
IDSOLVER=2872
FILE ID=node145/4407344-1569346528
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-05-12.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-4407344-1569346528/watcher-4407344-1569346528 -o /var/tmp/evaluation-result-4407344-1569346528/solver-4407344-1569346528 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 327303870 HOME/instance-4407344-1569346528.xml

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

MD5SUM BENCH= d0005c97ad61d9cead696518787f869e
RANDOM SEED=327303870

node145.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.59
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.59
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.59
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.59
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:        25750524 kB
MemAvailable:   31812264 kB
Buffers:          150140 kB
Cached:          6064100 kB
SwapCached:        32456 kB
Active:          3047016 kB
Inactive:        3204660 kB
Active(anon):       5244 kB
Inactive(anon):    89852 kB
Active(file):    3041772 kB
Inactive(file):  3114808 kB
Unevictable:      108772 kB
Mlocked:          108772 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             26308 kB
Writeback:             0 kB
AnonPages:        121708 kB
Mapped:            57224 kB
Shmem:             48848 kB
Slab:             362040 kB
SReclaimable:     333620 kB
SUnreclaim:        28420 kB
KernelStack:        3728 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node145 at 2019-09-24 19:35:07