Trace number 4247953

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: choco-solver 4.0.5 (2017-07-05)? 1780.63 472.815

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-20.xml
MD5SUMf43327d25c90fcea6a9e7ed354db6bef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables479
Number of constraints478
Number of domains2
Minimum domain size2
Maximum domain size400
Distribution of domain sizes[{"size":2,"count":78},{"size":400,"count":401}]
Minimum variable degree2
Maximum variable degree78
Distribution of variable degrees[{"degree":2,"count":80},{"degree":3,"count":320},{"degree":4,"count":78},{"degree":78,"count":1}]
Minimum constraint arity2
Maximum constraint arity400
Distribution of constraint arities[{"arity":2,"count":399},{"arity":3,"count":78},{"arity":400,"count":1}]
Number of extensional constraints0
Number of intensional constraints477
Distribution of constraint types[{"type":"intension","count":477},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247953-1500691003.xml"  -tl '2400s' -p 8 -x 0
0.00/0.22	c [HOME/instance-4247953-1500691003.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.28	c 8 solvers in parallel
0.00/0.35	c parse instance...
1717.44/464.18	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1717.44/464.18		at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
1717.44/464.18		at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
1717.44/464.18		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
1717.44/464.18		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
1717.44/464.18		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
1717.44/464.18		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
1717.44/464.18		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
1717.44/464.18		at org.xcsp.parser.XCallbacks$$Lambda$62/188576144.accept(Unknown Source)
1717.44/464.18		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1717.44/464.18		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1717.44/464.18		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
1717.44/464.18		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
1717.44/464.18		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
1717.44/464.18		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
1717.44/464.18		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
1717.44/464.18		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
1717.44/464.18		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:114)
1717.44/464.18		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:101)
1717.44/464.18		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
1780.52/472.74	s UNKNOWN
1780.52/472.74	c Unexpected resolution interruption!

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-4247953-1500691003/watcher-4247953-1500691003 -o /tmp/evaluation-result-4247953-1500691003/solver-4247953-1500691003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 814115058 HOME/instance-4247953-1500691003.xml 

pid=426
running on 8 cores: 1,3,5,7,9,11,13,15

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.06 15.47 14.38 10/270 429
/proc/meminfo: memFree=31164860/32770624 swapFree=5880/286044
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0

[startup+0.100065 s]
/proc/loadavg: 15.06 15.47 14.38 10/270 429
/proc/meminfo: memFree=31164860/32770624 swapFree=5880/286044
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200385 s]
/proc/loadavg: 15.06 15.47 14.38 10/270 429
/proc/meminfo: memFree=31164860/32770624 swapFree=5880/286044
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300311 s]
/proc/loadavg: 15.06 15.47 14.38 10/270 429
/proc/meminfo: memFree=31164860/32770624 swapFree=5880/286044
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700179 s]
/proc/loadavg: 15.06 15.47 14.38 10/270 429
/proc/meminfo: memFree=31164860/32770624 swapFree=5880/286044
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50088 s]
/proc/loadavg: 15.06 15.47 14.38 11/291 450
/proc/meminfo: memFree=31052256/32770624 swapFree=5880/285952
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13269256 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 39652 0 0 0 349 7 0 0 20 0 20 0 4367977 13587718144 31635 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3317314 31635 3207 1 0 3304547 0
[pid=430/tid=431] ppid=429 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) R 429 429 7744 0 -1 4202560 6885 0 0 0 143 3 0 0 20 0 20 0 4367977 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631252437080 140630872650396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) S 429 429 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631200823696 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631199770896 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631198718608 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631197665808 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631196613520 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631195560720 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631194508432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 31635 33554432000 4194304 4196468 140722186617216 140631193455632 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4367980 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630575507568 140631248214658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630574453536 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630573401200 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=445] ppid=429 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/430/task/445/stat : 445 (java) S 429 429 7744 0 -1 1077944384 9753 0 0 0 55 0 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630571297392 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=446] ppid=429 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/430/task/446/stat : 446 (java) S 429 429 7744 0 -1 1077944384 7780 0 0 0 62 0 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630570244592 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=447] ppid=429 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/430/task/447/stat : 447 (java) S 429 429 7744 0 -1 1077944384 12210 0 0 0 56 1 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630569192304 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=448] ppid=429 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/430/task/448/stat : 448 (java) S 429 429 7744 0 -1 1077944384 1711 0 0 0 31 0 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630568139504 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=449] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/449/stat : 449 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630567086432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=450] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/450/stat : 450 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367987 13587718144 31635 33554432000 4194304 4196468 140722186617216 140630566033712 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13278768

[startup+3.10086 s]
/proc/loadavg: 15.06 15.47 14.38 10/291 450
/proc/meminfo: memFree=31042816/32770624 swapFree=5880/285952
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13269256 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 41300 0 0 0 515 8 0 0 20 0 20 0 4367977 13587718144 34876 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3317314 34876 3207 1 0 3304547 0
[pid=430/tid=431] ppid=429 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) R 429 429 7744 0 -1 4202560 7488 0 0 0 303 4 0 0 20 0 20 0 4367977 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631252435256 140630872649150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) S 429 429 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631200823696 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631199770896 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631198718608 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631197665808 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631196613520 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631195560720 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631194508432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 34876 33554432000 4194304 4196468 140722186617216 140631193455632 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4367980 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630575507568 140631248214658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630574453536 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630573401200 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=445] ppid=429 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/430/task/445/stat : 445 (java) S 429 429 7744 0 -1 1077944384 9769 0 0 0 55 1 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630571297392 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=446] ppid=429 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/430/task/446/stat : 446 (java) S 429 429 7744 0 -1 1077944384 7927 0 0 0 63 0 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630570244592 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=447] ppid=429 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/430/task/447/stat : 447 (java) S 429 429 7744 0 -1 1077944384 12214 0 0 0 56 1 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630569192304 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=448] ppid=429 vsize=13269256 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/430/task/448/stat : 448 (java) S 429 429 7744 0 -1 1077944384 2549 0 0 0 35 0 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630568139504 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=449] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/449/stat : 449 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630567086432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=450] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/450/stat : 450 (java) S 429 429 7744 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4367987 13587718144 34876 33554432000 4194304 4196468 140722186617216 140630566033712 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 13278768

[startup+6.30084 s]
/proc/loadavg: 14.58 15.36 14.35 10/291 450
/proc/meminfo: memFree=31036500/32770624 swapFree=5880/285960
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13269256 CPUtime=8.54 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 46124 0 0 0 846 8 0 0 20 0 20 0 4367977 13587718144 36222 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3317314 36222 3211 1 0 3304547 0
[pid=430/tid=431] ppid=429 vsize=13269256 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) R 429 429 7744 0 -1 4202560 8402 0 0 0 623 4 0 0 20 0 20 0 4367977 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631252434280 140630872554258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) S 429 429 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631200823696 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631199770896 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631198718608 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631197665808 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631196613520 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631195560720 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631194508432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367978 13587718144 36222 33554432000 4194304 4196468 140722186617216 140631193455632 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 4367980 13587718144 36222 33554432000 4194304 4196468 140722186617216 140630575507568 140631248214658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 36222 33554432000 4194304 4196468 140722186617216 140630574453536 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 36222 33554432000 4194304 4196468 140722186617216 140630573401200 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 36222 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0

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

[startup+470.401 s]
/proc/loadavg: 13.89 13.04 13.35 17/293 658
/proc/meminfo: memFree=21055772/32770624 swapFree=5880/286476
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13269256 CPUtime=1765.75 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 713467 0 0 0 172424 4151 0 0 20 0 20 0 4367977 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3317314 2564127 3278 1 0 3304547 0
[pid=430/tid=431] ppid=429 vsize=13269256 CPUtime=261.23 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) S 429 429 7744 0 -1 1077944384 18510 0 0 0 26114 9 0 0 20 0 20 0 4367977 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631252445104 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13269256 CPUtime=184.43 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) R 429 429 7744 0 -1 4202560 30717 0 0 0 18005 438 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631200823816 140631240831719 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13269256 CPUtime=184.36 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) R 429 429 7744 0 -1 4202560 120215 0 0 0 17920 516 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631199771016 140631240831719 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13269256 CPUtime=184.63 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) R 429 429 7744 0 -1 4202560 82111 0 0 0 17928 535 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631198718728 140631233962328 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13269256 CPUtime=184.69 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) R 429 429 7744 0 -1 4202560 73577 0 0 0 17946 523 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631197666008 140631241306483 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13269256 CPUtime=184.76 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) R 429 429 7744 0 -1 4202560 58224 0 0 0 17966 510 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631196613640 140631240831719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13269256 CPUtime=184.92 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) R 429 429 7744 0 -1 4202560 29974 0 0 0 17939 553 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631195560840 140631240831719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13269256 CPUtime=184.62 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) R 429 429 7744 0 -1 4202560 148718 0 0 0 17936 526 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631194508552 140631240831719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13269256 CPUtime=184.58 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) R 429 429 7744 0 -1 4202560 37964 0 0 0 17942 516 0 0 20 0 20 0 4367978 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140631193455752 140631240831719 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13269256 CPUtime=22.75 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 57024 0 0 0 2269 6 0 0 20 0 20 0 4367980 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630575506112 140631248213717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630574453600 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 4367981 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630573401216 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=445] ppid=429 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/430/task/445/stat : 445 (java) S 429 429 7744 0 -1 1077944384 15149 0 0 0 140 1 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630571288032 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=446] ppid=429 vsize=13269256 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/430/task/446/stat : 446 (java) S 429 429 7744 0 -1 1077944384 11603 0 0 0 104 1 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630570244640 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=447] ppid=429 vsize=13269256 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/430/task/447/stat : 447 (java) S 429 429 7744 0 -1 1077944384 18467 0 0 0 135 2 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630569192352 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=448] ppid=429 vsize=13269256 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/430/task/448/stat : 448 (java) S 429 429 7744 0 -1 1077944384 7773 0 0 0 58 1 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630568139264 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=449] ppid=429 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/449/stat : 449 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4367986 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630567086432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=450] ppid=429 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/430/task/450/stat : 450 (java) S 429 429 7744 0 -1 1077944384 2013 0 0 0 12 9 0 0 20 0 20 0 4367987 13587718144 2564127 33554432000 4194304 4196468 140722186617216 140630566033712 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
Current children cumulated CPU time (s) 1765.75
Current children cumulated vsize (KiB) 13278768

[startup+472.017 s]
/proc/loadavg: 13.89 13.04 13.35 17/294 659
/proc/meminfo: memFree=21053600/32770624 swapFree=5880/286476
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13335820 CPUtime=1775.57 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 714527 0 0 0 173403 4154 0 0 20 0 21 0 4367977 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3333955 2564152 3278 1 0 3321188 0
[pid=430/tid=431] ppid=429 vsize=13335820 CPUtime=261.23 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) S 429 429 7744 0 -1 1077944384 18520 0 0 0 26114 9 0 0 20 0 21 0 4367977 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631252444192 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13335820 CPUtime=185.6 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) R 429 429 7744 0 -1 4202560 30717 0 0 0 18122 438 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631200823896 140631233157026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13335820 CPUtime=185.52 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) R 429 429 7744 0 -1 4202560 120218 0 0 0 18035 517 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631199771096 140631233961879 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13335820 CPUtime=185.81 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) R 429 429 7744 0 -1 4202560 82202 0 0 0 18046 535 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631198718808 140631232901286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13335820 CPUtime=185.89 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) R 429 429 7744 0 -1 4202560 74355 0 0 0 18066 523 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631197666008 140631233154217 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13335820 CPUtime=185.94 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) R 429 429 7744 0 -1 4202560 58224 0 0 0 18083 511 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631196613408 140631233154628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13335820 CPUtime=186.09 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) R 429 429 7744 0 -1 4202560 29974 0 0 0 18056 553 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631195560920 140631233154116 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13335820 CPUtime=185.8 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) R 429 429 7744 0 -1 4202560 148718 0 0 0 18054 526 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631194508632 140631233154220 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13335820 CPUtime=185.75 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) R 429 429 7744 0 -1 4202560 37966 0 0 0 18058 517 0 0 20 0 21 0 4367978 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140631193455832 140631233154189 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13335820 CPUtime=23.17 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 57156 0 0 0 2311 6 0 0 20 0 21 0 4367980 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630575505888 140631248213717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 4367981 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630574453600 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 21 0 4367981 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630573401216 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=445] ppid=429 vsize=13335820 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/430/task/445/stat : 445 (java) S 429 429 7744 0 -1 1077944384 15170 0 0 0 140 1 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630571288672 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=446] ppid=429 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/430/task/446/stat : 446 (java) S 429 429 7744 0 -1 1077944384 11603 0 0 0 104 1 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630570244592 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=447] ppid=429 vsize=13335820 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/430/task/447/stat : 447 (java) S 429 429 7744 0 -1 1077944384 18467 0 0 0 135 2 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630569192304 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=448] ppid=429 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/430/task/448/stat : 448 (java) S 429 429 7744 0 -1 1077944384 7773 0 0 0 58 1 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630568139504 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=449] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/449/stat : 449 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4367986 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630567086432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=450] ppid=429 vsize=13335820 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/430/task/450/stat : 450 (java) S 429 429 7744 0 -1 1077944384 2013 0 0 0 12 9 0 0 20 0 21 0 4367987 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630566033712 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=659] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/659/stat : 659 (java) S 429 429 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4415120 13655879680 2564152 33554432000 4194304 4196468 140722186617216 140630558522816 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
Current children cumulated CPU time (s) 1775.57
Current children cumulated vsize (KiB) 13345332

[startup+472.401 s]
/proc/loadavg: 13.89 13.04 13.35 17/294 659
/proc/meminfo: memFree=21053600/32770624 swapFree=5880/286476
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=13335820 CPUtime=1778.57 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) S 429 429 7744 0 -1 1077944320 714551 0 0 0 173703 4154 0 0 20 0 21 0 4367977 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140722186599760 140631248203511 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
/proc/430/statm: 3333955 2564158 3278 1 0 3321188 0
[pid=430/tid=431] ppid=429 vsize=13335820 CPUtime=261.23 cores=1,3,5,7,9,11,13,15
/proc/430/task/431/stat : 431 (java) S 429 429 7744 0 -1 1077944384 18520 0 0 0 26114 9 0 0 20 0 21 0 4367977 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631252444192 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=433] ppid=429 vsize=13335820 CPUtime=185.97 cores=1,3,5,7,9,11,13,15
/proc/430/task/433/stat : 433 (java) R 429 429 7744 0 -1 4202560 30717 0 0 0 18159 438 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631200823896 140631232902365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=434] ppid=429 vsize=13335820 CPUtime=185.89 cores=1,3,5,7,9,11,13,15
/proc/430/task/434/stat : 434 (java) R 429 429 7744 0 -1 4202560 120218 0 0 0 18072 517 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631199771096 140631233199856 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=435] ppid=429 vsize=13335820 CPUtime=186.18 cores=1,3,5,7,9,11,13,15
/proc/430/task/435/stat : 435 (java) R 429 429 7744 0 -1 4202560 82202 0 0 0 18083 535 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631198718808 140631233200119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=436] ppid=429 vsize=13335820 CPUtime=186.27 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) R 429 429 7744 0 -1 4202560 74355 0 0 0 18104 523 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631197666008 140631232902293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=437] ppid=429 vsize=13335820 CPUtime=186.32 cores=1,3,5,7,9,11,13,15
/proc/430/task/437/stat : 437 (java) R 429 429 7744 0 -1 4202560 58224 0 0 0 18121 511 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631196613408 140631232902488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=438] ppid=429 vsize=13335820 CPUtime=186.47 cores=1,3,5,7,9,11,13,15
/proc/430/task/438/stat : 438 (java) R 429 429 7744 0 -1 4202560 29974 0 0 0 18094 553 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631195560920 140631232661123 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=439] ppid=429 vsize=13335820 CPUtime=186.17 cores=1,3,5,7,9,11,13,15
/proc/430/task/439/stat : 439 (java) R 429 429 7744 0 -1 4202560 148718 0 0 0 18091 526 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631194508632 140631232902325 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=440] ppid=429 vsize=13335820 CPUtime=186.13 cores=1,3,5,7,9,11,13,15
/proc/430/task/440/stat : 440 (java) R 429 429 7744 0 -1 4202560 37966 0 0 0 18096 517 0 0 20 0 21 0 4367978 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140631193455832 140631233200131 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=441] ppid=429 vsize=13335820 CPUtime=23.17 cores=1,3,5,7,9,11,13,15
/proc/430/task/441/stat : 441 (java) S 429 429 7744 0 -1 1077944384 57180 0 0 0 2311 6 0 0 20 0 21 0 4367980 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630575506112 140631248213717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=442] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/442/stat : 442 (java) S 429 429 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 4367981 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630574453600 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=443] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/443/stat : 443 (java) S 429 429 7744 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 21 0 4367981 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630573401216 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=444] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/444/stat : 444 (java) S 429 429 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630572349520 140631248222107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=445] ppid=429 vsize=13335820 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/430/task/445/stat : 445 (java) S 429 429 7744 0 -1 1077944384 15170 0 0 0 140 1 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630571288672 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=446] ppid=429 vsize=13335820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/430/task/446/stat : 446 (java) S 429 429 7744 0 -1 1077944384 11603 0 0 0 104 1 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630570244592 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=447] ppid=429 vsize=13335820 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/430/task/447/stat : 447 (java) S 429 429 7744 0 -1 1077944384 18467 0 0 0 135 2 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630569192304 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=448] ppid=429 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/430/task/448/stat : 448 (java) S 429 429 7744 0 -1 1077944384 7773 0 0 0 58 1 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630568139504 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=449] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/449/stat : 449 (java) S 429 429 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4367986 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630567086432 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=450] ppid=429 vsize=13335820 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/430/task/450/stat : 450 (java) S 429 429 7744 0 -1 1077944384 2013 0 0 0 12 9 0 0 20 0 21 0 4367987 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630566033712 140631248214658 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
[pid=430/tid=659] ppid=429 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/430/task/659/stat : 659 (java) S 429 429 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 4415120 13655879680 2564158 33554432000 4194304 4196468 140722186617216 140630558522816 140631248213717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14995456 140722186626236 140722186626412 140722186626412 140722186629071 0
Current children cumulated CPU time (s) 1778.57
Current children cumulated vsize (KiB) 13345332

[startup+472.802 s]
/proc/loadavg: 13.89 13.04 13.35 17/294 659
/proc/meminfo: memFree=21053600/32770624 swapFree=5880/286476
[pid=429] ppid=426 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/429/stat : 429 (xcsp3-exec) S 426 429 7744 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4367976 9740288 346 33554432000 4194304 5098028 140720466135072 140720466133176 140646228763260 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 25812992 140720466138255 140720466138464 140720466138464 140720466141163 0
/proc/429/statm: 2378 346 289 221 0 87 0
[pid=430] ppid=429 vsize=0 CPUtime=1780.61 cores=1,3,5,7,9,11,13,15
/proc/430/stat : 430 (java) Z 429 429 7744 0 -1 4227084 714628 0 0 0 173902 4159 0 0 20 0 2 0 4367977 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/430/statm: 0 0 0 0 0 0 0
[pid=430/tid=436] ppid=429 vsize=0 CPUtime=186.55 cores=1,3,5,7,9,11,13,15
/proc/430/task/436/stat : 436 (java) R 429 429 7744 0 -1 4203588 74355 0 0 0 18127 528 0 0 20 0 2 0 4367978 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1780.61
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 472.815
CPU time (s): 1780.63
CPU user time (s): 1739.02
CPU system time (s): 41.6044
CPU usage (%): 376.601
Max. virtual memory (cumulated for all children) (KiB): 13345332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.02
system time used= 41.6044
maximum resident set size= 10256764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28862
involuntary context switches= 129862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01473 second user time and 4.75772 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-22 04:36:43
IDJOB=4247953
IDBENCH=130617
IDSOLVER=2625
FILE ID=node127/4247953-1500691003
RUNJOBID= node127-1500682387-7776
PBS_JOBID= 20623323
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-20.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-4247953-1500691003/watcher-4247953-1500691003 -o /tmp/evaluation-result-4247953-1500691003/solver-4247953-1500691003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 814115058 HOME/instance-4247953-1500691003.xml

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

MD5SUM BENCH= f43327d25c90fcea6a9e7ed354db6bef
RANDOM SEED=814115058

node127.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		: 2668.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.94
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		: 1600.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	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.94
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		: 1600.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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.94
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		: 1733.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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 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.94
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		: 1600.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		: 2668.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.94
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		: 1867.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	: 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		: 2668.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.94
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	: 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	: 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	: 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.94
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		: 1600.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	: 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	: 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.94
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		: 1600.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:        31165216 kB
MemAvailable:   31332640 kB
Buffers:          110784 kB
Cached:           339220 kB
SwapCached:            0 kB
Active:           883068 kB
Inactive:         294708 kB
Active(anon):     730640 kB
Inactive(anon):     8664 kB
Active(file):     152428 kB
Inactive(file):   286044 kB
Unevictable:        5880 kB
Mlocked:            5880 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7924 kB
Writeback:             0 kB
AnonPages:        733672 kB
Mapped:            42644 kB
Shmem:              8840 kB
Slab:             123476 kB
SReclaimable:      89572 kB
SUnreclaim:        33904 kB
KernelStack:        4656 kB
PageTables:         6692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1634208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61968 MiB
End job on node127 at 2017-07-22 04:44:36