Trace number 4245354

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
R1: choco-solver 4.0.5 (2017-07-05)UNSAT 12.596 2.92019

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-012-05-mul.xml
MD5SUM700b28c9cf521c5e1b89e7ca2100701e
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 benchmark0.27272201
Satisfiable
(Un)Satisfiability was proved
Number of variables17
Number of constraints136
Number of domains2
Minimum domain size12
Maximum domain size144
Distribution of domain sizes[{"size":12,"count":12},{"size":144,"count":5}]
Minimum variable degree16
Maximum variable degree16
Distribution of variable degrees[{"degree":16,"count":17}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":136}]
Number of extensional constraints0
Number of intensional constraints136
Distribution of constraint types[{"type":"intension","count":136}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4245354-1500685653.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4245354-1500685653.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
3.84/1.79	c solve instance...
11.78/2.89	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245354-1500685653/watcher-4245354-1500685653 -o /tmp/evaluation-result-4245354-1500685653/solver-4245354-1500685653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1020083531 HOME/instance-4245354-1500685653.xml 

pid=32030
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.50 16.04 15.41 10/276 32033
/proc/meminfo: memFree=30525296/32770624 swapFree=5944/213592
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0

[startup+0.100062 s]
/proc/loadavg: 15.50 16.04 15.41 10/276 32033
/proc/meminfo: memFree=30525296/32770624 swapFree=5944/213592
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200265 s]
/proc/loadavg: 15.50 16.04 15.41 10/276 32033
/proc/meminfo: memFree=30525296/32770624 swapFree=5944/213592
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300187 s]
/proc/loadavg: 15.50 16.04 15.41 10/276 32033
/proc/meminfo: memFree=30525296/32770624 swapFree=5944/213592
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700209 s]
/proc/loadavg: 15.50 16.04 15.41 10/276 32033
/proc/meminfo: memFree=30525296/32770624 swapFree=5944/213592
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50119 s]
/proc/loadavg: 15.50 16.04 15.41 10/297 32054
/proc/meminfo: memFree=30424600/32770624 swapFree=5944/213628
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
[pid=32034] ppid=32033 vsize=13269256 CPUtime=3.37 cores=0-3,8-11
/proc/32034/stat : 32034 (java) S 32033 32033 18810 0 -1 1077944320 22209 0 0 0 329 8 0 0 20 0 20 0 3832482 13587718144 37117 33554432000 4194304 4196468 140729788377888 140729788360432 140242593615607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
/proc/32034/statm: 3317314 37117 3218 1 0 3304547 0
[pid=32034/tid=32035] ppid=32033 vsize=13269256 CPUtime=1.47 cores=0-3,8-11
/proc/32034/task/32035/stat : 32035 (java) R 32033 32033 18810 0 -1 4202560 7640 0 0 0 143 4 0 0 20 0 20 0 3832483 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242597848456 140242234469747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32037] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32037/stat : 32037 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242192632720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32038] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32038/stat : 32038 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242191579920 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32039] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32039/stat : 32039 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242190527632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32040] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32040/stat : 32040 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242189474832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32041] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32041/stat : 32041 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242188421520 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32042] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32042/stat : 32042 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242187368720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32043] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32043/stat : 32043 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242186316432 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32044] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32044/stat : 32044 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 37117 33554432000 4194304 4196468 140729788377888 140242185263632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32045] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32045/stat : 32045 (java) S 32033 32033 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3832486 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241787546224 140242593626754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32046] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32046/stat : 32046 (java) S 32033 32033 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3832487 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241786492192 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32047] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32047/stat : 32047 (java) S 32033 32033 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3832487 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241785439856 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32048] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32048/stat : 32048 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241784388176 140242593634203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32049] ppid=32033 vsize=13269256 CPUtime=0.45 cores=0-3,8-11
/proc/32034/task/32049/stat : 32049 (java) S 32033 32033 18810 0 -1 1077944384 4212 0 0 0 44 1 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241783335024 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32050] ppid=32033 vsize=13269256 CPUtime=0.55 cores=0-3,8-11
/proc/32034/task/32050/stat : 32050 (java) R 32033 32033 18810 0 -1 4202560 3227 0 0 0 55 0 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241782282520 140242577112377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32051] ppid=32033 vsize=13269256 CPUtime=0.33 cores=0-3,8-11
/proc/32034/task/32051/stat : 32051 (java) S 32033 32033 18810 0 -1 1077944384 2017 0 0 0 33 0 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241781229936 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32052] ppid=32033 vsize=13269256 CPUtime=0.53 cores=0-3,8-11
/proc/32034/task/32052/stat : 32052 (java) S 32033 32033 18810 0 -1 1077944384 3799 0 0 0 53 0 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241780177136 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32053] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32053/stat : 32053 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832491 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241779125088 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32054] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32054/stat : 32054 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832492 13587718144 37117 33554432000 4194304 4196468 140729788377888 140241778072368 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13278768

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32034 sig 9
??? kill 32033 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60148 s]
/proc/loadavg: 15.50 16.04 15.41 10/297 32054
/proc/meminfo: memFree=30424600/32770624 swapFree=5944/213628
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
[pid=32034] ppid=32033 vsize=13269256 CPUtime=3.68 cores=0-3,8-11
/proc/32034/stat : 32034 (java) S 32033 32033 18810 0 -1 1077944320 23326 0 0 0 360 8 0 0 20 0 20 0 3832482 13587718144 38919 33554432000 4194304 4196468 140729788377888 140729788360432 140242593615607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
/proc/32034/statm: 3317314 38919 3219 1 0 3304547 0
[pid=32034/tid=32035] ppid=32033 vsize=13269256 CPUtime=1.56 cores=0-3,8-11
/proc/32034/task/32035/stat : 32035 (java) R 32033 32033 18810 0 -1 4202560 7645 0 0 0 152 4 0 0 20 0 20 0 3832483 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242597851960 140242233991717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32037] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32037/stat : 32037 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242192632720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32038] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32038/stat : 32038 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242191579920 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32039] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32039/stat : 32039 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242190527632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32040] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32040/stat : 32040 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242189474832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32041] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32041/stat : 32041 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242188421520 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32042] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32042/stat : 32042 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242187368720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32043] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32043/stat : 32043 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242186316432 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32044] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32044/stat : 32044 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3832484 13587718144 38919 33554432000 4194304 4196468 140729788377888 140242185263632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32045] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32045/stat : 32045 (java) S 32033 32033 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3832486 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241787546224 140242593626754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32046] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32046/stat : 32046 (java) S 32033 32033 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3832487 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241786492192 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32047] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32047/stat : 32047 (java) S 32033 32033 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3832487 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241785439856 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32048] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32048/stat : 32048 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241784388176 140242593634203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32049] ppid=32033 vsize=13269256 CPUtime=0.52 cores=0-3,8-11
/proc/32034/task/32049/stat : 32049 (java) R 32033 32033 18810 0 -1 4202560 4586 0 0 0 51 1 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241783319984 140242578739156 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32050] ppid=32033 vsize=13269256 CPUtime=0.63 cores=0-3,8-11
/proc/32034/task/32050/stat : 32050 (java) S 32033 32033 18810 0 -1 1077944384 3589 0 0 0 63 0 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241782282224 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32051] ppid=32033 vsize=13269256 CPUtime=0.37 cores=0-3,8-11
/proc/32034/task/32051/stat : 32051 (java) S 32033 32033 18810 0 -1 1077944384 2298 0 0 0 37 0 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241781229936 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32052] ppid=32033 vsize=13269256 CPUtime=0.54 cores=0-3,8-11
/proc/32034/task/32052/stat : 32052 (java) S 32033 32033 18810 0 -1 1077944384 3894 0 0 0 54 0 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241780177136 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32053] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32053/stat : 32053 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832491 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241779125088 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32054] ppid=32033 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32054/stat : 32054 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832492 13587718144 38919 33554432000 4194304 4196468 140729788377888 140241778072368 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13278768

[startup+2.40152 s]
/proc/loadavg: 15.50 16.04 15.41 20/305 32062
/proc/meminfo: memFree=30338344/32770624 swapFree=5944/213628
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
[pid=32034] ppid=32033 vsize=13801768 CPUtime=8.59 cores=0-3,8-11
/proc/32034/stat : 32034 (java) S 32033 32033 18810 0 -1 1077944320 26686 0 0 0 849 10 0 0 20 0 28 0 3832482 14133010432 49863 33554432000 4194304 4196468 140729788377888 140729788360432 140242593615607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
/proc/32034/statm: 3450442 49863 3225 1 0 3437675 0
[pid=32034/tid=32035] ppid=32033 vsize=13801768 CPUtime=1.77 cores=0-3,8-11
/proc/32034/task/32035/stat : 32035 (java) S 32033 32033 18810 0 -1 1077944384 7892 0 0 0 172 5 0 0 20 0 28 0 3832483 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242597856384 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32037] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32037/stat : 32037 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242192632720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32038] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32038/stat : 32038 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242191579920 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32039] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32039/stat : 32039 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242190527632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32040] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32040/stat : 32040 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242189474832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32041] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32041/stat : 32041 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242188421520 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32042] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32042/stat : 32042 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242187368720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32043] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32043/stat : 32043 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242186316432 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32044] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32044/stat : 32044 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 49863 33554432000 4194304 4196468 140729788377888 140242185263632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32045] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32045/stat : 32045 (java) S 32033 32033 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3832486 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241787546224 140242593626754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32046] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32046/stat : 32046 (java) S 32033 32033 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3832487 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241786492192 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32047] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32047/stat : 32047 (java) S 32033 32033 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3832487 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241785439856 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32048] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32048/stat : 32048 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241784388176 140242593634203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32049] ppid=32033 vsize=13801768 CPUtime=1.04 cores=0-3,8-11
/proc/32034/task/32049/stat : 32049 (java) R 32033 32033 18810 0 -1 4202560 5112 0 0 0 103 1 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241783321568 140242578717555 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32050] ppid=32033 vsize=13801768 CPUtime=1.09 cores=0-3,8-11
/proc/32034/task/32050/stat : 32050 (java) R 32033 32033 18810 0 -1 4202560 4092 0 0 0 109 0 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241782281152 140242577114761 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32051] ppid=32033 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/32034/task/32051/stat : 32051 (java) R 32033 32033 18810 0 -1 4202560 2983 0 0 0 76 0 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241781211696 140242579630720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32052] ppid=32033 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/32034/task/32052/stat : 32052 (java) S 32033 32033 18810 0 -1 1077944384 4516 0 0 0 75 1 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241780177136 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32053] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32053/stat : 32053 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832491 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241779125088 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32054] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32054/stat : 32054 (java) S 32033 32033 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3832492 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241778072368 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32055] ppid=32033 vsize=13801768 CPUtime=0.46 cores=0-3,8-11
/proc/32034/task/32055/stat : 32055 (java) R 32033 32033 18810 0 -1 4202560 86 0 0 0 46 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241770056904 140242237445619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32056] ppid=32033 vsize=13801768 CPUtime=0.32 cores=0-3,8-11
/proc/32034/task/32056/stat : 32056 (java) R 32033 32033 18810 0 -1 4202560 141 0 0 0 32 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241769004800 140242237002460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32057] ppid=32033 vsize=13801768 CPUtime=0.4 cores=0-3,8-11
/proc/32034/task/32057/stat : 32057 (java) R 32033 32033 18810 0 -1 4202560 104 0 0 0 40 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241767952408 140242236890764 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32058] ppid=32033 vsize=13801768 CPUtime=0.45 cores=0-3,8-11
/proc/32034/task/32058/stat : 32058 (java) R 32033 32033 18810 0 -1 4202560 156 0 0 0 45 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241766899744 140242237273383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32059] ppid=32033 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/32034/task/32059/stat : 32059 (java) R 32033 32033 18810 0 -1 4202560 40 0 0 0 37 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241765849224 140242237445576 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32060] ppid=32033 vsize=13801768 CPUtime=0.4 cores=0-3,8-11
/proc/32034/task/32060/stat : 32060 (java) R 32033 32033 18810 0 -1 4202560 82 0 0 0 40 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241764794936 140242237273282 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32061] ppid=32033 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/32034/task/32061/stat : 32061 (java) R 32033 32033 18810 0 -1 4202560 34 0 0 0 37 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241763741376 140242237445729 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32062] ppid=32033 vsize=13801768 CPUtime=0.32 cores=0-3,8-11
/proc/32034/task/32062/stat : 32062 (java) R 32033 32033 18810 0 -1 4202560 117 0 0 0 32 0 0 0 20 0 28 0 3832662 14133010432 49863 33554432000 4194304 4196468 140729788377888 140241762688728 140242237445619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 13811280

[startup+2.80146 s]
/proc/loadavg: 15.50 16.04 15.41 20/305 32062
/proc/meminfo: memFree=30338344/32770624 swapFree=5944/213628
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
[pid=32034] ppid=32033 vsize=13801768 CPUtime=11.78 cores=0-3,8-11
/proc/32034/stat : 32034 (java) S 32033 32033 18810 0 -1 1077944320 27474 0 0 0 1168 10 0 0 20 0 28 0 3832482 14133010432 50808 33554432000 4194304 4196468 140729788377888 140729788360432 140242593615607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
/proc/32034/statm: 3450442 50808 3225 1 0 3437675 0
[pid=32034/tid=32035] ppid=32033 vsize=13801768 CPUtime=1.77 cores=0-3,8-11
/proc/32034/task/32035/stat : 32035 (java) S 32033 32033 18810 0 -1 1077944384 7892 0 0 0 172 5 0 0 20 0 28 0 3832483 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242597856384 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32037] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32037/stat : 32037 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242192632720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32038] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32038/stat : 32038 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242191579920 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32039] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32039/stat : 32039 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242190527632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32040] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32040/stat : 32040 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242189474832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32041] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32041/stat : 32041 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242188421520 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32042] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32042/stat : 32042 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242187368720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32043] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32043/stat : 32043 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242186316432 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32044] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32044/stat : 32044 (java) S 32033 32033 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3832484 14133010432 50808 33554432000 4194304 4196468 140729788377888 140242185263632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32045] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32045/stat : 32045 (java) S 32033 32033 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3832486 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241787546224 140242593626754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32046] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32046/stat : 32046 (java) S 32033 32033 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3832487 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241786492192 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32047] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32047/stat : 32047 (java) S 32033 32033 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3832487 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241785439856 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32048] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32048/stat : 32048 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241784388176 140242593634203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32049] ppid=32033 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/32034/task/32049/stat : 32049 (java) R 32033 32033 18810 0 -1 4202560 5243 0 0 0 138 1 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241783331392 140242578537389 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32050] ppid=32033 vsize=13801768 CPUtime=1.34 cores=0-3,8-11
/proc/32034/task/32050/stat : 32050 (java) R 32033 32033 18810 0 -1 4202560 4170 0 0 0 133 1 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241782268736 140242575159702 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32051] ppid=32033 vsize=13801768 CPUtime=1.14 cores=0-3,8-11
/proc/32034/task/32051/stat : 32051 (java) R 32033 32033 18810 0 -1 4202560 3409 0 0 0 114 0 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241781216504 140242572031909 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32052] ppid=32033 vsize=13801768 CPUtime=0.81 cores=0-3,8-11
/proc/32034/task/32052/stat : 32052 (java) S 32033 32033 18810 0 -1 1077944384 4599 0 0 0 80 1 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241780177136 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32053] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32053/stat : 32053 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3832491 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241779125088 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32054] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32054/stat : 32054 (java) S 32033 32033 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3832492 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241778072368 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32055] ppid=32033 vsize=13801768 CPUtime=0.84 cores=0-3,8-11
/proc/32034/task/32055/stat : 32055 (java) R 32033 32033 18810 0 -1 4202560 89 0 0 0 84 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241770057560 140242237273383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32056] ppid=32033 vsize=13801768 CPUtime=0.54 cores=0-3,8-11
/proc/32034/task/32056/stat : 32056 (java) R 32033 32033 18810 0 -1 4202560 147 0 0 0 54 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241769005784 140242237273383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32057] ppid=32033 vsize=13801768 CPUtime=0.61 cores=0-3,8-11
/proc/32034/task/32057/stat : 32057 (java) R 32033 32033 18810 0 -1 4202560 108 0 0 0 61 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241767952568 140242233634148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32058] ppid=32033 vsize=13801768 CPUtime=0.71 cores=0-3,8-11
/proc/32034/task/32058/stat : 32058 (java) R 32033 32033 18810 0 -1 4202560 163 0 0 0 71 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241766899096 140242237273436 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32059] ppid=32033 vsize=13801768 CPUtime=0.57 cores=0-3,8-11
/proc/32034/task/32059/stat : 32059 (java) R 32033 32033 18810 0 -1 4202560 42 0 0 0 57 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241765846592 140242237273355 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32060] ppid=32033 vsize=13801768 CPUtime=0.76 cores=0-3,8-11
/proc/32034/task/32060/stat : 32060 (java) R 32033 32033 18810 0 -1 4202560 85 0 0 0 76 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241764794064 140242237012732 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32061] ppid=32033 vsize=13801768 CPUtime=0.62 cores=0-3,8-11
/proc/32034/task/32061/stat : 32061 (java) R 32033 32033 18810 0 -1 4202560 39 0 0 0 62 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241763742152 140242236833136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32062] ppid=32033 vsize=13801768 CPUtime=0.61 cores=0-3,8-11
/proc/32034/task/32062/stat : 32062 (java) R 32033 32033 18810 0 -1 4202560 127 0 0 0 61 0 0 0 20 0 28 0 3832662 14133010432 50808 33554432000 4194304 4196468 140729788377888 140241762690936 140242231003712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 13811280

[startup+2.90145 s]
/proc/loadavg: 15.50 16.04 15.41 20/305 32062
/proc/meminfo: memFree=30338344/32770624 swapFree=5944/213628
[pid=32033] ppid=32030 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/32033/stat : 32033 (xcsp3-exec) S 32030 32033 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3832482 9740288 346 33554432000 4194304 5098028 140725825888688 140725825886792 140186700608124 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 31633408 140725825897614 140725825897824 140725825897824 140725825900523 0
/proc/32033/statm: 2378 346 289 221 0 87 0
[pid=32034] ppid=32033 vsize=13801768 CPUtime=12.56 cores=0-3,8-11
/proc/32034/stat : 32034 (java) S 32033 32033 18810 0 -1 1077944320 28800 0 0 0 1245 11 0 0 20 0 20 0 3832482 14133010432 51805 33554432000 4194304 4196468 140729788377888 140729788360432 140242593615607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
/proc/32034/statm: 3450442 51805 3241 1 0 3437675 0
[pid=32034/tid=32035] ppid=32033 vsize=13801768 CPUtime=1.77 cores=0-3,8-11
/proc/32034/task/32035/stat : 32035 (java) S 32033 32033 18810 0 -1 1077944384 8090 0 0 0 172 5 0 0 20 0 20 0 3832483 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242597857200 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32037] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32037/stat : 32037 (java) S 32033 32033 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242192632720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32038] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32038/stat : 32038 (java) S 32033 32033 18810 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242191579920 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32039] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32039/stat : 32039 (java) S 32033 32033 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242190527632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32040] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32040/stat : 32040 (java) S 32033 32033 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242189474832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32041] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32041/stat : 32041 (java) S 32033 32033 18810 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242188421520 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32042] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32042/stat : 32042 (java) S 32033 32033 18810 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242187368720 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32043] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32043/stat : 32043 (java) S 32033 32033 18810 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242186316432 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32044] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32044/stat : 32044 (java) S 32033 32033 18810 0 -1 1077944384 731 0 0 0 0 0 0 0 20 0 20 0 3832484 14133010432 51805 33554432000 4194304 4196468 140729788377888 140242185263632 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32045] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32045/stat : 32045 (java) R 32033 32033 18810 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 20 0 3832486 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241787544736 140242586712443 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32046] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32046/stat : 32046 (java) S 32033 32033 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3832487 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241786492192 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32047] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32047/stat : 32047 (java) S 32033 32033 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3832487 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241785439856 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32048] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32048/stat : 32048 (java) S 32033 32033 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241784388176 140242593634203 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32049] ppid=32033 vsize=13801768 CPUtime=1.46 cores=0-3,8-11
/proc/32034/task/32049/stat : 32049 (java) S 32033 32033 18810 0 -1 1077944384 5257 0 0 0 145 1 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241783314832 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32050] ppid=32033 vsize=13801768 CPUtime=1.39 cores=0-3,8-11
/proc/32034/task/32050/stat : 32050 (java) S 32033 32033 18810 0 -1 1077944384 4179 0 0 0 138 1 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241782261232 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32051] ppid=32033 vsize=13801768 CPUtime=1.2 cores=0-3,8-11
/proc/32034/task/32051/stat : 32051 (java) S 32033 32033 18810 0 -1 1077944384 3434 0 0 0 120 0 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241781214928 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32052] ppid=32033 vsize=13801768 CPUtime=0.82 cores=0-3,8-11
/proc/32034/task/32052/stat : 32052 (java) S 32033 32033 18810 0 -1 1077944384 4617 0 0 0 81 1 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241780173008 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32053] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32053/stat : 32053 (java) S 32033 32033 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3832491 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241779125088 140242593625813 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
[pid=32034/tid=32054] ppid=32033 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/32034/task/32054/stat : 32054 (java) S 32033 32033 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 3832492 14133010432 52317 33554432000 4194304 4196468 140729788377888 140241778072368 140242593626754 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12713984 140729788380348 140729788380524 140729788380524 140729788383183 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 2.92019
CPU time (s): 12.596
CPU user time (s): 12.4639
CPU system time (s): 0.132139
CPU usage (%): 431.343
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4639
system time used= 0.132139
maximum resident set size= 209920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4067
involuntary context switches= 1250

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025591 second user time and 0.040355 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 03:07:33
IDJOB=4245354
IDBENCH=120890
IDSOLVER=2625
FILE ID=node132/4245354-1500685653
RUNJOBID= node132-1500682387-18841
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-012-05-mul.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245354-1500685653/watcher-4245354-1500685653 -o /tmp/evaluation-result-4245354-1500685653/solver-4245354-1500685653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1020083531 HOME/instance-4245354-1500685653.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 700b28c9cf521c5e1b89e7ca2100701e
RANDOM SEED=1020083531

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.61
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	: 1
siblings	: 8
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	: 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	: 8
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	: 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	: 1
siblings	: 8
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	: 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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30525908 kB
MemAvailable:   30578564 kB
Buffers:           49316 kB
Cached:           311924 kB
SwapCached:            0 kB
Active:          1644968 kB
Inactive:         221896 kB
Active(anon):    1508304 kB
Inactive(anon):     8628 kB
Active(file):     136664 kB
Inactive(file):   213268 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6164 kB
Writeback:          1452 kB
AnonPages:       1533036 kB
Mapped:            43096 kB
Shmem:              8904 kB
Slab:              71520 kB
SReclaimable:      37120 kB
SUnreclaim:        34400 kB
KernelStack:        5120 kB
PageTables:         7964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3394940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1388544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 03:07:36