Trace number 4399568

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallelUNSAT 710.527 115.893

General information on the benchmark

NameQRandom/
QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml
MD5SUM1cb2c7d0d6cb70a3feacaee85115a742
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.9563
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints2713
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree1888
Maximum variable degree1986
Distribution of variable degrees[{"degree":1888,"count":1},{"degree":1909,"count":1},{"degree":1914,"count":1},{"degree":1915,"count":2},{"degree":1921,"count":1},{"degree":1924,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1933,"count":1},{"degree":1938,"count":1},{"degree":1939,"count":1},{"degree":1940,"count":1},{"degree":1949,"count":1},{"degree":1951,"count":1},{"degree":1953,"count":1},{"degree":1959,"count":1},{"degree":1961,"count":1},{"degree":1969,"count":1},{"degree":1975,"count":1},{"degree":1986,"count":1}]
Minimum constraint arity15
Maximum constraint arity15
Distribution of constraint arities[{"arity":15,"count":2713}]
Number of extensional constraints2713
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2713}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399568-1568703683.xml"  -tl '20160s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4399568-1568703683.xml, -tl, 20160s, -p, 8]
0.33/0.24	c 8 solvers in parallel
0.33/0.31	c parse instance...
525.33/92.48	c solve instance...
710.42/115.80	s UNSATISFIABLE

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399568-1568703683/watcher-4399568-1568703683 -o /tmp/evaluation-result-4399568-1568703683/solver-4399568-1568703683 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 613324069 HOME/instance-4399568-1568703683.xml 

running on 8 cores: 0-7

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


[startup+0.100111 s]*
/proc/loadavg: 8.77 8.20 8.05 2/211 20233
/proc/meminfo: memFree=29376172/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28227396 memory=28820 CPUtime=0.11 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 5665 0 0 0 10 1 0 0 20 0 20 0 446374602 28904853504 7205 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7056849 7205 3121 1 0 7019032 0
[pid=20214/tid=20215] ppid=20212 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 17650 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743277438680 139743273229718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28227396 memory=139642700621440 CPUtime=0 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20219] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743222680080 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20220] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20220/stat : 20220 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743221627792 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20221] ppid=20212 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743220574992 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20222] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20222/stat : 20222 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743219522704 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20223] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20223/stat : 20223 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 7205 33554432000 4194304 4196468 140727149892208 139743218469904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20224] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20224/stat : 20224 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374605 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741938694256 139743273228930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20225] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374606 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741937640224 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20226] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374606 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741936587888 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20227] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20227/stat : 20227 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374608 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741935536208 139743273236379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20228] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20228/stat : 20228 (java) S 20212 20212 17650 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 446374608 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741934484080 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20229] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20229/stat : 20229 (java) S 20212 20212 17650 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446374608 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741933431280 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20230] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20230/stat : 20230 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374609 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741932378992 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20231] ppid=20212 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) R 20212 20212 17650 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 20 0 446374609 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741931326192 139743252341037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374609 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374609 28904853504 7205 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30272 KiB

[startup+0.211157 s]*
/proc/loadavg: 8.77 8.20 8.05 3/211 20233
/proc/meminfo: memFree=29363080/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28227396 memory=40836 CPUtime=0.33 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 9466 0 0 0 30 3 0 0 20 0 20 0 446374602 28904853504 10209 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7056849 10209 3303 1 0 7019032 0
[pid=20214/tid=20215] ppid=20212 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 17650 0 -1 4202560 6593 0 0 0 17 2 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743277448048 139743257298270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28227396 memory=3617711251717940896 CPUtime=0 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20219] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743222680080 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20220] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20220/stat : 20220 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743221627792 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20221] ppid=20212 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743220574992 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20222] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20222/stat : 20222 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743219522704 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20223] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20223/stat : 20223 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28904853504 10209 33554432000 4194304 4196468 140727149892208 139743218469904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20224] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20224/stat : 20224 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374605 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741938694256 139743273228930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20225] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374606 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741937640224 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20226] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374606 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741936587888 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20227] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20227/stat : 20227 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374608 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741935536208 139743273236379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20228] ppid=20212 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20214/task/20228/stat : 20228 (java) S 20212 20212 17650 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 20 0 446374608 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741934484080 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20229] ppid=20212 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20214/task/20229/stat : 20229 (java) S 20212 20212 17650 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 446374608 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741933431280 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20230] ppid=20212 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/20214/task/20230/stat : 20230 (java) S 20212 20212 17650 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 446374609 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741932378992 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20231] ppid=20212 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) R 20212 20212 17650 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 446374609 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741931326192 139743252119556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374609 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374609 28904853504 10209 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42288 KiB

[startup+0.310859 s]*
/proc/loadavg: 8.77 8.20 8.05 3/211 20233
/proc/meminfo: memFree=29358540/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28231652 memory=46692 CPUtime=0.51 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 10556 0 0 0 47 4 0 0 20 0 20 0 446374602 28909211648 11673 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7057913 11673 3326 1 0 7019032 0
[pid=20214/tid=20215] ppid=20212 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 17650 0 -1 4202560 7582 0 0 0 27 3 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743277430336 139743259403562 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20219] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743222680080 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20220] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20220/stat : 20220 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743221627792 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20221] ppid=20212 vsize=28231652 memory=139642540223151 CPUtime=0 cores=0-7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743220574992 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20222] ppid=20212 vsize=28231652 memory=139642540225456 CPUtime=0 cores=0-7
/proc/20214/task/20222/stat : 20222 (java) S 20212 20212 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743219522704 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20223] ppid=20212 vsize=28231652 memory=139642540227760 CPUtime=0 cores=0-7
/proc/20214/task/20223/stat : 20223 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28909211648 11673 33554432000 4194304 4196468 140727149892208 139743218469904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20224] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20224/stat : 20224 (java) S 20212 20212 17650 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446374605 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741938694256 139743273228930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20225] ppid=20212 vsize=28231652 memory=279285080469392 CPUtime=0 cores=0-7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446374606 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741937640224 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20226] ppid=20212 vsize=28231652 memory=279285080467088 CPUtime=0 cores=0-7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446374606 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741936587888 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20227] ppid=20212 vsize=28231652 memory=279285080474000 CPUtime=0 cores=0-7
/proc/20214/task/20227/stat : 20227 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374608 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741935536208 139743273236379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20228] ppid=20212 vsize=28231652 memory=279285080415280 CPUtime=0.03 cores=0-7
/proc/20214/task/20228/stat : 20228 (java) S 20212 20212 17650 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 20 0 446374608 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741934484080 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20229] ppid=20212 vsize=28231652 memory=279285080487824 CPUtime=0.02 cores=0-7
/proc/20214/task/20229/stat : 20229 (java) S 20212 20212 17650 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 446374608 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741933431280 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20230] ppid=20212 vsize=28231652 memory=279285080494736 CPUtime=0.02 cores=0-7
/proc/20214/task/20230/stat : 20230 (java) S 20212 20212 17650 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 446374609 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741932378992 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20231] ppid=20212 vsize=28231652 memory=279285080492432 CPUtime=0.12 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) S 20212 20212 17650 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 446374609 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741931326192 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374609 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374609 28909211648 11673 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48144 KiB

[startup+0.701007 s]
/proc/loadavg: 8.77 8.20 8.05 5/211 20233
/proc/meminfo: memFree=29338296/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28233776 memory=109648 CPUtime=1.93 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 16056 0 0 0 187 6 0 0 20 0 20 0 446374602 28911386624 27412 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7058444 27412 3445 1 0 7019544 0
[pid=20214/tid=20215] ppid=20212 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) R 20212 20212 17650 0 -1 4202560 8443 0 0 0 63 4 0 0 20 0 20 0 446374603 28911386624 27412 33554432000 4194304 4196468 140727149892208 139743277454000 139742888505180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28233776 memory=139642540434288 CPUtime=0 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28911386624 27412 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446374603 28911386624 27412 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446374603 28911386624 27412 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0

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

[pid=20214/tid=20231] ppid=20212 vsize=28766288 memory=984 CPUtime=0.77 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) S 20212 20212 17650 0 -1 1077944384 7487 0 0 0 74 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741931326192 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28766288 memory=2020 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28766288 memory=1452 CPUtime=0.04 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 797 0 0 0 1 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20239] ppid=20212 vsize=28766288 memory=164 CPUtime=21.9 cores=0-7
/proc/20214/task/20239/stat : 20239 (java) R 20212 20212 17650 0 -1 4202560 3242 0 0 0 2164 26 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741852261528 139742891615847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20240] ppid=20212 vsize=28766288 memory=11201815314432 CPUtime=22.08 cores=0-7
/proc/20214/task/20240/stat : 20240 (java) R 20212 20212 17650 0 -1 4202560 3543 0 0 0 2206 2 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741851209704 139742891616020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20241] ppid=20212 vsize=28766288 memory=3761690107691950112 CPUtime=21.74 cores=0-7
/proc/20214/task/20241/stat : 20241 (java) R 20212 20212 17650 0 -1 4202560 3368 0 0 0 2158 16 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741850157528 139742891656811 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20242] ppid=20212 vsize=28766288 memory=6933689900351896112 CPUtime=21.88 cores=0-7
/proc/20214/task/20242/stat : 20242 (java) R 20212 20212 17650 0 -1 4202560 3914 0 0 0 2188 0 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741849104592 139742891615847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20243] ppid=20212 vsize=28766288 memory=655370 CPUtime=22.01 cores=0-7
/proc/20214/task/20243/stat : 20243 (java) R 20212 20212 17650 0 -1 4202560 2632 0 0 0 2173 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741848052440 139742891723112 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20244] ppid=20212 vsize=28766288 memory=11201275375648 CPUtime=21.89 cores=0-7
/proc/20214/task/20244/stat : 20244 (java) R 20212 20212 17650 0 -1 4202560 2717 0 0 0 2161 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741846999512 139742891722396 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20245] ppid=20212 vsize=28766288 memory=56188 CPUtime=21.91 cores=0-7
/proc/20214/task/20245/stat : 20245 (java) R 20212 20212 17650 0 -1 4202560 5034 0 0 0 2157 34 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741845946192 139742891665488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20246] ppid=20212 vsize=28766288 memory=984 CPUtime=21.82 cores=0-7
/proc/20214/task/20246/stat : 20246 (java) R 20212 20212 17650 0 -1 4202560 3379 0 0 0 2151 31 0 0 20 0 28 0 446383853 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741844893640 139742891615824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 705.7 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 18694180 KiB

[startup+115.601 s]
/proc/loadavg: 5.21 6.86 7.57 9/220 20249
/proc/meminfo: memFree=10679328/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28766288 memory=18692728 CPUtime=708.89 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 334151 0 0 0 66196 4693 0 0 20 0 28 0 446374602 29456678912 4673182 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7191572 4673182 3540 1 0 7152672 0
[pid=20214/tid=20215] ppid=20212 vsize=28766288 memory=1444 CPUtime=27.45 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) S 20212 20212 17650 0 -1 1077944384 17027 0 0 0 2731 14 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743277458560 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28766288 memory=1764 CPUtime=61.45 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 22357 0 0 0 5598 547 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28766288 memory=1444 CPUtime=61.97 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 28857 0 0 0 5671 526 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28766288 memory=1764 CPUtime=61.98 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 25140 0 0 0 5614 584 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20219] ppid=20212 vsize=28766288 memory=111632 CPUtime=61.68 cores=0-7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 17650 0 -1 1077944384 24947 0 0 0 5634 534 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743222680080 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20220] ppid=20212 vsize=28766288 memory=800 CPUtime=61.44 cores=0-7
/proc/20214/task/20220/stat : 20220 (java) S 20212 20212 17650 0 -1 1077944384 19564 0 0 0 5610 534 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743221627792 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20221] ppid=20212 vsize=28766288 memory=4100 CPUtime=62.12 cores=0-7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 17650 0 -1 1077944384 35405 0 0 0 5587 625 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743220574992 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20222] ppid=20212 vsize=28766288 memory=1804 CPUtime=61.86 cores=0-7
/proc/20214/task/20222/stat : 20222 (java) S 20212 20212 17650 0 -1 1077944384 28042 0 0 0 5638 548 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743219522704 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20223] ppid=20212 vsize=28766288 memory=920 CPUtime=61.84 cores=0-7
/proc/20214/task/20223/stat : 20223 (java) S 20212 20212 17650 0 -1 1077944384 20769 0 0 0 5600 584 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743218469904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20224] ppid=20212 vsize=28766288 memory=4588 CPUtime=2.13 cores=0-7
/proc/20214/task/20224/stat : 20224 (java) S 20212 20212 17650 0 -1 1077944384 43211 0 0 0 200 13 0 0 20 0 28 0 446374605 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741938694256 139743273228930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20225] ppid=20212 vsize=28766288 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 17650 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446374606 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741937640288 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20226] ppid=20212 vsize=28766288 memory=3108 CPUtime=0 cores=0-7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 17650 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 446374606 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741936587904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20227] ppid=20212 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/20214/task/20227/stat : 20227 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741935536208 139743273236379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20228] ppid=20212 vsize=28766288 memory=18048488 CPUtime=1.53 cores=0-7
/proc/20214/task/20228/stat : 20228 (java) S 20212 20212 17650 0 -1 1077944384 9798 0 0 0 152 1 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741934484080 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20229] ppid=20212 vsize=28766288 memory=1656 CPUtime=1.95 cores=0-7
/proc/20214/task/20229/stat : 20229 (java) S 20212 20212 17650 0 -1 1077944384 10396 0 0 0 194 1 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741933431280 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20230] ppid=20212 vsize=28766288 memory=1398722017469774279 CPUtime=2.04 cores=0-7
/proc/20214/task/20230/stat : 20230 (java) S 20212 20212 17650 0 -1 1077944384 10651 0 0 0 202 2 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741932378992 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20231] ppid=20212 vsize=28766288 memory=4872558044660077418 CPUtime=0.77 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) S 20212 20212 17650 0 -1 1077944384 7487 0 0 0 74 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741931326192 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28766288 memory=5798 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28766288 memory=3624 CPUtime=0.04 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 797 0 0 0 1 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20239] ppid=20212 vsize=28766288 memory=56188 CPUtime=22.3 cores=0-7
/proc/20214/task/20239/stat : 20239 (java) R 20212 20212 17650 0 -1 4202560 3242 0 0 0 2204 26 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741852261088 139742891886910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20240] ppid=20212 vsize=28766288 memory=984 CPUtime=22.48 cores=0-7
/proc/20214/task/20240/stat : 20240 (java) R 20212 20212 17650 0 -1 4202560 3669 0 0 0 2245 3 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741851209488 139742891615824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20241] ppid=20212 vsize=28766288 memory=2020 CPUtime=22.14 cores=0-7
/proc/20214/task/20241/stat : 20241 (java) R 20212 20212 17650 0 -1 4202560 3368 0 0 0 2198 16 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741850157088 139742891722806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20242] ppid=20212 vsize=28766288 memory=1428 CPUtime=22.28 cores=0-7
/proc/20214/task/20242/stat : 20242 (java) R 20212 20212 17650 0 -1 4202560 3915 0 0 0 2228 0 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741849104752 139742891615847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20243] ppid=20212 vsize=28766288 memory=776 CPUtime=22.41 cores=0-7
/proc/20214/task/20243/stat : 20243 (java) R 20212 20212 17650 0 -1 4202560 2632 0 0 0 2213 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741848052440 139742891615847 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20244] ppid=20212 vsize=28766288 memory=660 CPUtime=22.29 cores=0-7
/proc/20214/task/20244/stat : 20244 (java) R 20212 20212 17650 0 -1 4202560 2717 0 0 0 2201 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741846999448 139742891615824 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20245] ppid=20212 vsize=28766288 memory=1556 CPUtime=22.31 cores=0-7
/proc/20214/task/20245/stat : 20245 (java) R 20212 20212 17650 0 -1 4202560 5034 0 0 0 2197 34 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741845946192 139742891616020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20246] ppid=20212 vsize=28766288 memory=6791534058613427641 CPUtime=22.22 cores=0-7
/proc/20214/task/20246/stat : 20246 (java) R 20212 20212 17650 0 -1 4202560 3667 0 0 0 2191 31 0 0 20 0 28 0 446383853 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741844893528 139742891656816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 708.89 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 18694180 KiB

[startup+115.801 s]
/proc/loadavg: 5.21 6.86 7.57 9/220 20249
/proc/meminfo: memFree=10679328/32770688 swapFree=66919992/67108860
[pid=20212] ppid=20209 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20212/stat : 20212 (xcsp3-exec) S 20209 20212 17650 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446374602 115843072 363 33554432000 4194304 5098028 140726180373568 140726180371672 139735321391740 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 16445440 140726180381558 140726180381801 140726180381801 140726180384714 0
/proc/20212/statm: 28282 363 304 221 0 87 0
[pid=20214] ppid=20212 vsize=28766288 memory=18692728 CPUtime=710.42 cores=0-7
/proc/20214/stat : 20214 (java) S 20212 20212 17650 0 -1 1077944320 334349 0 0 0 66349 4693 0 0 20 0 28 0 446374602 29456678912 4673182 33554432000 4194304 4196468 140727149892208 140727149874752 139743273217783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
/proc/20214/statm: 7191572 4673182 3540 1 0 7152672 0
[pid=20214/tid=20215] ppid=20212 vsize=28766288 memory=1452 CPUtime=27.45 cores=0-7
/proc/20214/task/20215/stat : 20215 (java) S 20212 20212 17650 0 -1 1077944384 17027 0 0 0 2731 14 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743277458560 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20216] ppid=20212 vsize=28766288 memory=18709848 CPUtime=61.45 cores=0-7
/proc/20214/task/20216/stat : 20216 (java) S 20212 20212 17650 0 -1 1077944384 22357 0 0 0 5598 547 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743225837968 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20217] ppid=20212 vsize=28766288 memory=1656 CPUtime=61.97 cores=0-7
/proc/20214/task/20217/stat : 20217 (java) S 20212 20212 17650 0 -1 1077944384 28857 0 0 0 5671 526 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743224785168 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20218] ppid=20212 vsize=28766288 memory=4588 CPUtime=61.98 cores=0-7
/proc/20214/task/20218/stat : 20218 (java) S 20212 20212 17650 0 -1 1077944384 25140 0 0 0 5614 584 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743223732880 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20219] ppid=20212 vsize=28766288 memory=1412 CPUtime=61.68 cores=0-7
/proc/20214/task/20219/stat : 20219 (java) S 20212 20212 17650 0 -1 1077944384 24947 0 0 0 5634 534 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743222680080 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20220] ppid=20212 vsize=28766288 memory=3328 CPUtime=61.44 cores=0-7
/proc/20214/task/20220/stat : 20220 (java) S 20212 20212 17650 0 -1 1077944384 19564 0 0 0 5610 534 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743221627792 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20221] ppid=20212 vsize=28766288 memory=29357761229 CPUtime=62.12 cores=0-7
/proc/20214/task/20221/stat : 20221 (java) S 20212 20212 17650 0 -1 1077944384 35405 0 0 0 5587 625 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743220574992 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20222] ppid=20212 vsize=28766288 memory=29357761230 CPUtime=61.86 cores=0-7
/proc/20214/task/20222/stat : 20222 (java) S 20212 20212 17650 0 -1 1077944384 28042 0 0 0 5638 548 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743219522704 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20223] ppid=20212 vsize=28766288 memory=1452 CPUtime=61.84 cores=0-7
/proc/20214/task/20223/stat : 20223 (java) S 20212 20212 17650 0 -1 1077944384 20769 0 0 0 5600 584 0 0 20 0 28 0 446374603 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139743218469904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20224] ppid=20212 vsize=28766288 memory=5996 CPUtime=2.13 cores=0-7
/proc/20214/task/20224/stat : 20224 (java) S 20212 20212 17650 0 -1 1077944384 43211 0 0 0 200 13 0 0 20 0 28 0 446374605 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741938694256 139743273228930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20225] ppid=20212 vsize=28766288 memory=4156 CPUtime=0 cores=0-7
/proc/20214/task/20225/stat : 20225 (java) S 20212 20212 17650 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 446374606 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741937640288 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20226] ppid=20212 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/20214/task/20226/stat : 20226 (java) S 20212 20212 17650 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 446374606 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741936587904 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20227] ppid=20212 vsize=28766288 memory=2828 CPUtime=0 cores=0-7
/proc/20214/task/20227/stat : 20227 (java) S 20212 20212 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741935536208 139743273236379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20228] ppid=20212 vsize=28766288 memory=1176 CPUtime=1.53 cores=0-7
/proc/20214/task/20228/stat : 20228 (java) S 20212 20212 17650 0 -1 1077944384 9798 0 0 0 152 1 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741934484080 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20229] ppid=20212 vsize=28766288 memory=980 CPUtime=1.95 cores=0-7
/proc/20214/task/20229/stat : 20229 (java) S 20212 20212 17650 0 -1 1077944384 10396 0 0 0 194 1 0 0 20 0 28 0 446374608 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741933431280 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20230] ppid=20212 vsize=28766288 memory=29508 CPUtime=2.04 cores=0-7
/proc/20214/task/20230/stat : 20230 (java) S 20212 20212 17650 0 -1 1077944384 10651 0 0 0 202 2 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741932378992 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20231] ppid=20212 vsize=28766288 memory=2120 CPUtime=0.77 cores=0-7
/proc/20214/task/20231/stat : 20231 (java) S 20212 20212 17650 0 -1 1077944384 7487 0 0 0 74 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741931326192 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20232] ppid=20212 vsize=28766288 memory=496 CPUtime=0 cores=0-7
/proc/20214/task/20232/stat : 20232 (java) S 20212 20212 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741930273120 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20233] ppid=20212 vsize=28766288 memory=1560 CPUtime=0.04 cores=0-7
/proc/20214/task/20233/stat : 20233 (java) S 20212 20212 17650 0 -1 1077944384 797 0 0 0 1 3 0 0 20 0 28 0 446374609 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741861243184 139743273228930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20239] ppid=20212 vsize=28766288 memory=928 CPUtime=22.49 cores=0-7
/proc/20214/task/20239/stat : 20239 (java) S 20212 20212 17650 0 -1 1077944384 3257 0 0 0 2223 26 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741852266096 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20240] ppid=20212 vsize=28766288 memory=1724 CPUtime=22.68 cores=0-7
/proc/20214/task/20240/stat : 20240 (java) S 20212 20212 17650 0 -1 1077944384 3669 0 0 0 2265 3 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741851214800 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20241] ppid=20212 vsize=28766288 memory=1964 CPUtime=22.33 cores=0-7
/proc/20214/task/20241/stat : 20241 (java) S 20212 20212 17650 0 -1 1077944384 3368 0 0 0 2217 16 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741850162512 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20242] ppid=20212 vsize=28766288 memory=2776 CPUtime=22.47 cores=0-7
/proc/20214/task/20242/stat : 20242 (java) S 20212 20212 17650 0 -1 1077944384 3915 0 0 0 2247 0 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741849109712 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20243] ppid=20212 vsize=28766288 memory=924 CPUtime=22.6 cores=0-7
/proc/20214/task/20243/stat : 20243 (java) S 20212 20212 17650 0 -1 1077944384 2684 0 0 0 2232 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741848057424 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20244] ppid=20212 vsize=28766288 memory=660 CPUtime=22.49 cores=0-7
/proc/20214/task/20244/stat : 20244 (java) S 20212 20212 17650 0 -1 1077944384 2718 0 0 0 2221 28 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741847004624 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20245] ppid=20212 vsize=28766288 memory=1556 CPUtime=22.5 cores=0-7
/proc/20214/task/20245/stat : 20245 (java) S 20212 20212 17650 0 -1 1077944384 5035 0 0 0 2216 34 0 0 20 0 28 0 446383852 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741845951312 139743273227989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
[pid=20214/tid=20246] ppid=20212 vsize=28766288 memory=9588 CPUtime=22.41 cores=0-7
/proc/20214/task/20246/stat : 20246 (java) R 20212 20212 17650 0 -1 4202560 3796 0 0 0 2210 31 0 0 20 0 28 0 446383853 29456678912 4673182 33554432000 4194304 4196468 140727149892208 139741844893528 139742891656816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13545472 140727149896682 140727149896854 140727149896854 140727149899727 0
Current children cumulated CPU time: 710.42 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 18694180 KiB

Child status: 0
Real time (s): 115.893
CPU time (s): 710.527
CPU user time (s): 663.503
CPU system time (s): 47.0245
CPU usage (%): 613.091
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 18711408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.503
system time used= 47.0245
maximum resident set size= 18709956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21096
involuntary context switches= 14167


# summary of solver processes directly reported to runsolver:
#   pid: 20212
#   total CPU time (s): 710.527
#   total CPU user time (s): 663.503
#   total CPU system time (s): 47.0245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.928116 second user time and 1.50221 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-18 15:21:45
IDJOB=4399568
IDBENCH=125859
IDSOLVER=2854
FILE ID=node120/4399568-1568703683
RUNJOBID= node120-1324215096-17677
PBS_JOBID= 21703900
Free space on /tmp= 61628 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.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-4399568-1568703683/watcher-4399568-1568703683 -o /tmp/evaluation-result-4399568-1568703683/solver-4399568-1568703683 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 613324069 HOME/instance-4399568-1568703683.xml

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

MD5SUM BENCH= 1cb2c7d0d6cb70a3feacaee85115a742
RANDOM SEED=613324069

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29392484 kB
MemAvailable:   31803728 kB
Buffers:          186604 kB
Cached:          2509868 kB
SwapCached:        77548 kB
Active:          1484860 kB
Inactive:        1294024 kB
Active(anon):       4992 kB
Inactive(anon):   127072 kB
Active(file):    1479868 kB
Inactive(file):  1166952 kB
Unevictable:      107748 kB
Mlocked:          107748 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26580 kB
Writeback:             0 kB
AnonPages:        113280 kB
Mapped:            53380 kB
Shmem:             41008 kB
Slab:             191296 kB
SReclaimable:     160520 kB
SUnreclaim:        30776 kB
KernelStack:        3376 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61604 MiB
End job on node120 at 2011-12-18 15:23:41