Trace number 4250185

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 56.2479 8.44812

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-04-04-fair.xml
MD5SUM005af5eedf24bd8f858adc721c64a56d
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 benchmark7.3145099
Satisfiable
(Un)Satisfiability was proved
Number of variables4347
Number of constraints4102
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":614},{"size":201,"count":25},{"size":20001,"count":3708}]
Minimum variable degree2
Maximum variable degree49
Distribution of variable degrees[{"degree":2,"count":3807},{"degree":3,"count":96},{"degree":4,"count":16},{"degree":5,"count":65},{"degree":6,"count":59},{"degree":7,"count":88},{"degree":8,"count":101},{"degree":9,"count":66},{"degree":10,"count":11},{"degree":13,"count":16},{"degree":14,"count":5},{"degree":22,"count":5},{"degree":24,"count":2},{"degree":28,"count":1},{"degree":31,"count":4},{"degree":37,"count":1},{"degree":48,"count":2},{"degree":49,"count":2}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":710},{"arity":3,"count":3390}]
Number of extensional constraints0
Number of intensional constraints4102
Distribution of constraint types[{"type":"intension","count":4102}]
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-4250185-1500696228.xml"  -tl '2400s' -p 8 -x 0
0.00/0.20	c [HOME/instance-4250185-1500696228.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.25	c 8 solvers in parallel
0.00/0.32	c parse instance...
18.04/3.45	c solve instance...
56.15/8.41	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-4250185-1500696228/watcher-4250185-1500696228 -o /tmp/evaluation-result-4250185-1500696228/solver-4250185-1500696228 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1290180295 HOME/instance-4250185-1500696228.xml 

pid=11950
running on 8 cores: 0,2,4,6,8,10,12,14

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: 9.10 10.81 12.55 3/262 11953
/proc/meminfo: memFree=23084108/32770624 swapFree=5724/267436
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0

[startup+0.100132 s]
/proc/loadavg: 9.10 10.81 12.55 3/262 11953
/proc/meminfo: memFree=23084108/32770624 swapFree=5724/267436
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200243 s]
/proc/loadavg: 9.10 10.81 12.55 3/262 11953
/proc/meminfo: memFree=23084108/32770624 swapFree=5724/267436
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300268 s]
/proc/loadavg: 9.10 10.81 12.55 3/262 11953
/proc/meminfo: memFree=23084108/32770624 swapFree=5724/267436
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700182 s]
/proc/loadavg: 9.10 10.81 12.55 3/262 11953
/proc/meminfo: memFree=23084108/32770624 swapFree=5724/267436
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50115 s]
/proc/loadavg: 8.85 10.73 12.52 7/283 11974
/proc/meminfo: memFree=22711856/32770624 swapFree=5724/267400
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
[pid=11954] ppid=11953 vsize=13269256 CPUtime=5.75 cores=0,2,4,6,8,10,12,14
/proc/11954/stat : 11954 (java) S 11953 11953 16473 0 -1 1077944320 24045 0 0 0 540 35 0 0 20 0 20 0 4891924 13587718144 67656 33554432000 4194304 4196468 140728671026192 140728671008736 140587912703735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
/proc/11954/statm: 3317314 67656 3254 1 0 3304547 0
[pid=11954/tid=11955] ppid=11953 vsize=13269256 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11955/stat : 11955 (java) S 11953 11953 16473 0 -1 1077944384 8120 0 0 0 132 5 0 0 20 0 20 0 4891924 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587916942672 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11957] ppid=11953 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11957/stat : 11957 (java) R 11953 11953 16473 0 -1 4202560 71 0 0 0 5 2 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587844840536 140587894329790 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11958] ppid=11953 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11958/stat : 11958 (java) R 11953 11953 16473 0 -1 4202560 45 0 0 0 3 4 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587843787736 140587891897930 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11959] ppid=11953 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11959/stat : 11959 (java) R 11953 11953 16473 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587842735448 140587897731785 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11960] ppid=11953 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11960/stat : 11960 (java) R 11953 11953 16473 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587841682648 140587897058367 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11961] ppid=11953 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11961/stat : 11961 (java) R 11953 11953 16473 0 -1 4202560 82 0 0 0 3 3 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587840629024 140587897728952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11962] ppid=11953 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11962/stat : 11962 (java) R 11953 11953 16473 0 -1 4202560 159 0 0 0 5 3 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587839576536 140587891898765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11963] ppid=11953 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11963/stat : 11963 (java) R 11953 11953 16473 0 -1 4202560 41 0 0 0 3 3 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587838524248 140587891898765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11964] ppid=11953 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11964/stat : 11964 (java) R 11953 11953 16473 0 -1 4202560 34 0 0 0 3 3 0 0 20 0 20 0 4891925 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587837471448 140587897725856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11965] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11965/stat : 11965 (java) S 11953 11953 16473 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 4891928 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587374961824 140587912713941 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11966] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4891928 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587373909280 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4891929 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587372856944 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11969] ppid=11953 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11969/stat : 11969 (java) R 11953 11953 16473 0 -1 4202560 3873 0 0 0 104 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587370732816 140587896200519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11970] ppid=11953 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11970/stat : 11970 (java) S 11953 11953 16473 0 -1 1077944384 3221 0 0 0 97 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587369690592 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11971] ppid=11953 vsize=13269256 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11971/stat : 11971 (java) S 11953 11953 16473 0 -1 1077944384 2712 0 0 0 97 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587368639760 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11972] ppid=11953 vsize=13269256 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11972/stat : 11972 (java) S 11953 11953 16473 0 -1 1077944384 4089 0 0 0 74 1 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587367594224 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11973] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11973/stat : 11973 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587298712416 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11974] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11974/stat : 11974 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 67656 33554432000 4194304 4196468 140728671026192 140587297659696 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 13278768

[startup+3.10116 s]
/proc/loadavg: 8.85 10.73 12.52 12/283 11974
/proc/meminfo: memFree=22279732/32770624 swapFree=5724/267408
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
[pid=11954] ppid=11953 vsize=13269256 CPUtime=16.2 cores=0,2,4,6,8,10,12,14
/proc/11954/stat : 11954 (java) S 11953 11953 16473 0 -1 1077944320 30333 0 0 0 1489 131 0 0 20 0 20 0 4891924 13587718144 157288 33554432000 4194304 4196468 140728671026192 140728671008736 140587912703735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
/proc/11954/statm: 3317314 157288 3267 1 0 3304547 0
[pid=11954/tid=11955] ppid=11953 vsize=13269256 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11955/stat : 11955 (java) R 11953 11953 16473 0 -1 4202560 8517 0 0 0 184 7 0 0 20 0 20 0 4891924 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587916942232 140587524527867 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11957] ppid=11953 vsize=13269256 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11957/stat : 11957 (java) S 11953 11953 16473 0 -1 1077944384 482 0 0 0 90 15 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587844840336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11958] ppid=11953 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11958/stat : 11958 (java) S 11953 11953 16473 0 -1 1077944384 182 0 0 0 88 15 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587843787536 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11959] ppid=11953 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11959/stat : 11959 (java) S 11953 11953 16473 0 -1 1077944384 226 0 0 0 89 13 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587842735248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11960] ppid=11953 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11960/stat : 11960 (java) S 11953 11953 16473 0 -1 1077944384 200 0 0 0 88 14 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587841682448 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11961] ppid=11953 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11961/stat : 11961 (java) S 11953 11953 16473 0 -1 1077944384 196 0 0 0 81 10 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587840629136 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11962] ppid=11953 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11962/stat : 11962 (java) S 11953 11953 16473 0 -1 1077944384 300 0 0 0 84 17 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587839576336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11963] ppid=11953 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11963/stat : 11963 (java) S 11953 11953 16473 0 -1 1077944384 210 0 0 0 86 17 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587838524048 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11964] ppid=11953 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11964/stat : 11964 (java) S 11953 11953 16473 0 -1 1077944384 192 0 0 0 89 15 0 0 20 0 20 0 4891925 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587837471248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11965] ppid=11953 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11965/stat : 11965 (java) S 11953 11953 16473 0 -1 1077944384 1862 0 0 0 2 0 0 0 20 0 20 0 4891928 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587374963312 140587912714882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11966] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4891928 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587373909344 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4891929 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587372856960 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11969] ppid=11953 vsize=13269256 CPUtime=2.16 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11969/stat : 11969 (java) R 11953 11953 16473 0 -1 4202560 4860 0 0 0 216 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587370738208 140587897090961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11970] ppid=11953 vsize=13269256 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11970/stat : 11970 (java) R 11953 11953 16473 0 -1 4202560 4108 0 0 0 152 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587369680328 140587896114626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11971] ppid=11953 vsize=13269256 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11971/stat : 11971 (java) R 11953 11953 16473 0 -1 4202560 3304 0 0 0 153 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587368638976 140587893339553 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11972] ppid=11953 vsize=13269256 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11972/stat : 11972 (java) S 11953 11953 16473 0 -1 1077944384 4319 0 0 0 80 1 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587367594224 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11973] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11973/stat : 11973 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587298712416 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11974] ppid=11953 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11974/stat : 11974 (java) S 11953 11953 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4891933 13587718144 157288 33554432000 4194304 4196468 140728671026192 140587297659696 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
Current children cumulated CPU time (s) 16.2
Current children cumulated vsize (KiB) 13278768

[startup+6.30472 s]
/proc/loadavg: 8.85 10.73 12.52 16/291 11982
/proc/meminfo: memFree=21569680/32770624 swapFree=5724/267416
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
[pid=11954] ppid=11953 vsize=13801768 CPUtime=39.58 cores=0,2,4,6,8,10,12,14
/proc/11954/stat : 11954 (java) S 11953 11953 16473 0 -1 1077944320 38162 0 0 0 3238 720 0 0 20 0 28 0 4891924 14133010432 475066 33554432000 4194304 4196468 140728671026192 140728671008736 140587912703735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
/proc/11954/statm: 3450442 475066 3283 1 0 3437675 0
[pid=11954/tid=11955] ppid=11953 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11955/stat : 11955 (java) S 11953 11953 16473 0 -1 1077944384 8777 0 0 0 208 7 0 0 20 0 28 0 4891924 14133010432 475066 33554432000 4194304 4196468 140728671026192 140587916944512 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11957] ppid=11953 vsize=13801768 CPUtime=3.29 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11957/stat : 11957 (java) R 11953 11953 16473 0 -1 4202560 1080 0 0 0 239 90 0 0 20 0 28 0 4891925 14133010432 475066 33554432000 4194304 4196468 140728671026192 140587844840536 140587905806452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11958] ppid=11953 vsize=13801768 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11958/stat : 11958 (java) R 11953 11953 16473 0 -1 4202560 776 0 0 0 235 91 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587843787736 140587905806452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11959] ppid=11953 vsize=13801768 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11959/stat : 11959 (java) R 11953 11953 16473 0 -1 4202560 809 0 0 0 240 85 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587842735448 140587905806452 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11960] ppid=11953 vsize=13801768 CPUtime=3.21 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11960/stat : 11960 (java) R 11953 11953 16473 0 -1 4202560 778 0 0 0 240 81 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587841682336 140587897725825 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11961] ppid=11953 vsize=13801768 CPUtime=3.16 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11961/stat : 11961 (java) R 11953 11953 16473 0 -1 4202560 844 0 0 0 233 83 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587840629336 140587905806452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11962] ppid=11953 vsize=13801768 CPUtime=3.21 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11962/stat : 11962 (java) R 11953 11953 16473 0 -1 4202560 922 0 0 0 235 86 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587839576536 140587905806452 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11963] ppid=11953 vsize=13801768 CPUtime=3.28 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11963/stat : 11963 (java) R 11953 11953 16473 0 -1 4202560 773 0 0 0 236 92 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587838524248 140587905806808 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11964] ppid=11953 vsize=13801768 CPUtime=3.26 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11964/stat : 11964 (java) R 11953 11953 16473 0 -1 4202560 803 0 0 0 240 86 0 0 20 0 28 0 4891925 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587837471448 140587905806452 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11965] ppid=11953 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11965/stat : 11965 (java) S 11953 11953 16473 0 -1 1077944384 2778 0 0 0 16 0 0 0 20 0 28 0 4891928 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587374961824 140587912713941 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11966] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4891928 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587373909344 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4891929 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587372856960 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 475578 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0

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

/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4891928 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587373909344 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4891929 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587372856960 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11969] ppid=11953 vsize=13801768 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11969/stat : 11969 (java) R 11953 11953 16473 0 -1 4202560 7308 0 0 0 323 1 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587370745304 140587896189749 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11970] ppid=11953 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11970/stat : 11970 (java) R 11953 11953 16473 0 -1 4202560 6184 0 0 0 250 1 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587369680720 140587890726092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11971] ppid=11953 vsize=13801768 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11971/stat : 11971 (java) R 11953 11953 16473 0 -1 4202560 5768 0 0 0 247 0 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587368633048 140587897820829 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11972] ppid=11953 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11972/stat : 11972 (java) S 11953 11953 16473 0 -1 1077944384 5535 0 0 0 111 2 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587367594224 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11973] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11973/stat : 11973 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587298712416 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11974] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11974/stat : 11974 (java) S 11953 11953 16473 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587297659696 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11975] ppid=11953 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11975/stat : 11975 (java) R 11953 11953 16473 0 -1 4202560 160 0 0 0 107 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587290146824 140587525803513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11976] ppid=11953 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11976/stat : 11976 (java) R 11953 11953 16473 0 -1 4202560 161 0 0 0 103 0 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587289092136 140587525803513 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11977] ppid=11953 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11977/stat : 11977 (java) R 11953 11953 16473 0 -1 4202560 100 0 0 0 80 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587288038640 140587526515255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11978] ppid=11953 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11978/stat : 11978 (java) R 11953 11953 16473 0 -1 4202560 516 0 0 0 100 0 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587286987136 140587524590549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11979] ppid=11953 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11979/stat : 11979 (java) R 11953 11953 16473 0 -1 4202560 210 0 0 0 91 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587285934136 140587526184748 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11980] ppid=11953 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11980/stat : 11980 (java) R 11953 11953 16473 0 -1 4202560 136 0 0 0 99 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587284881760 140587518897291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11981] ppid=11953 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11981/stat : 11981 (java) R 11953 11953 16473 0 -1 4202560 152 0 0 0 98 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587283824744 140587526277597 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11982] ppid=11953 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11982/stat : 11982 (java) R 11953 11953 16473 0 -1 4202560 96 0 0 0 91 1 0 0 20 0 28 0 4892271 14133010432 507780 33554432000 4194304 4196468 140728671026192 140587282777240 140587526005591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (KiB) 13811280

[startup+8.00153 s]
/proc/loadavg: 8.78 10.68 12.49 14/291 11982
/proc/meminfo: memFree=20854008/32770624 swapFree=5724/267416
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
[pid=11954] ppid=11953 vsize=13801768 CPUtime=52.99 cores=0,2,4,6,8,10,12,14
/proc/11954/stat : 11954 (java) S 11953 11953 16473 0 -1 1077944320 50404 0 0 0 4502 797 0 0 20 0 28 0 4891924 14133010432 508270 33554432000 4194304 4196468 140728671026192 140728671008736 140587912703735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
/proc/11954/statm: 3450442 508270 3303 1 0 3437675 0
[pid=11954/tid=11955] ppid=11953 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11955/stat : 11955 (java) S 11953 11953 16473 0 -1 1077944384 8777 0 0 0 208 7 0 0 20 0 28 0 4891924 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587916944512 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11957] ppid=11953 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11957/stat : 11957 (java) S 11953 11953 16473 0 -1 1077944384 1143 0 0 0 244 99 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587844840336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11958] ppid=11953 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11958/stat : 11958 (java) S 11953 11953 16473 0 -1 1077944384 841 0 0 0 239 99 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587843787536 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11959] ppid=11953 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11959/stat : 11959 (java) S 11953 11953 16473 0 -1 1077944384 875 0 0 0 244 94 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587842735248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11960] ppid=11953 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11960/stat : 11960 (java) S 11953 11953 16473 0 -1 1077944384 834 0 0 0 243 90 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587841682448 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11961] ppid=11953 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11961/stat : 11961 (java) S 11953 11953 16473 0 -1 1077944384 906 0 0 0 238 92 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587840629136 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11962] ppid=11953 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11962/stat : 11962 (java) S 11953 11953 16473 0 -1 1077944384 982 0 0 0 239 95 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587839576336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11963] ppid=11953 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11963/stat : 11963 (java) S 11953 11953 16473 0 -1 1077944384 834 0 0 0 240 102 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587838524048 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11964] ppid=11953 vsize=13801768 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11964/stat : 11964 (java) S 11953 11953 16473 0 -1 1077944384 864 0 0 0 244 95 0 0 20 0 28 0 4891925 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587837471248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11965] ppid=11953 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11965/stat : 11965 (java) S 11953 11953 16473 0 -1 1077944384 2966 0 0 0 16 1 0 0 20 0 28 0 4891928 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587374963312 140587912714882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11966] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4891928 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587373909344 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4891929 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587372856960 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11969] ppid=11953 vsize=13801768 CPUtime=3.79 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11969/stat : 11969 (java) R 11953 11953 16473 0 -1 4202560 7823 0 0 0 378 1 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587370748480 140587896202322 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11970] ppid=11953 vsize=13801768 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11970/stat : 11970 (java) R 11953 11953 16473 0 -1 4202560 6477 0 0 0 303 1 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587369692272 140587904993189 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11971] ppid=11953 vsize=13801768 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11971/stat : 11971 (java) R 11953 11953 16473 0 -1 4202560 6096 0 0 0 299 0 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587368633048 140587894226496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11972] ppid=11953 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11972/stat : 11972 (java) S 11953 11953 16473 0 -1 1077944384 6323 0 0 0 120 2 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587367594224 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11973] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11973/stat : 11973 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587298712416 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11974] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11974/stat : 11974 (java) S 11953 11953 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587297659696 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11975] ppid=11953 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11975/stat : 11975 (java) R 11953 11953 16473 0 -1 4202560 292 0 0 0 163 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587290146536 140587525801007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11976] ppid=11953 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11976/stat : 11976 (java) R 11953 11953 16473 0 -1 4202560 288 0 0 0 166 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587289092632 140587525801020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11977] ppid=11953 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11977/stat : 11977 (java) R 11953 11953 16473 0 -1 4202560 318 0 0 0 127 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587288038624 140587525835280 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11978] ppid=11953 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11978/stat : 11978 (java) R 11953 11953 16473 0 -1 4202560 899 0 0 0 163 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587286988808 140587525848472 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11979] ppid=11953 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11979/stat : 11979 (java) R 11953 11953 16473 0 -1 4202560 366 0 0 0 156 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587285933408 140587525565387 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11980] ppid=11953 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11980/stat : 11980 (java) R 11953 11953 16473 0 -1 4202560 216 0 0 0 154 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587284880888 140587525801051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11981] ppid=11953 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11981/stat : 11981 (java) R 11953 11953 16473 0 -1 4202560 398 0 0 0 147 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587283829320 140587526830670 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11982] ppid=11953 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11982/stat : 11982 (java) R 11953 11953 16473 0 -1 4202560 494 0 0 0 163 1 0 0 20 0 28 0 4892271 14133010432 508270 33554432000 4194304 4196468 140728671026192 140587282776792 140587525801020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
Current children cumulated CPU time (s) 52.99
Current children cumulated vsize (KiB) 13811280

[startup+8.40147 s]
/proc/loadavg: 8.78 10.68 12.49 14/291 11982
/proc/meminfo: memFree=20854008/32770624 swapFree=5724/267416
[pid=11953] ppid=11950 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11953/stat : 11953 (xcsp3-exec) S 11950 11953 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4891924 9740288 346 33554432000 4194304 5098028 140729010286464 140729010284568 140382641209980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 31105024 140729010291854 140729010292064 140729010292064 140729010294763 0
/proc/11953/statm: 2378 346 289 221 0 87 0
[pid=11954] ppid=11953 vsize=13801768 CPUtime=56.15 cores=0,2,4,6,8,10,12,14
/proc/11954/stat : 11954 (java) S 11953 11953 16473 0 -1 1077944320 50972 0 0 0 4817 798 0 0 20 0 28 0 4891924 14133010432 508610 33554432000 4194304 4196468 140728671026192 140728671008736 140587912703735 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
/proc/11954/statm: 3450442 508610 3304 1 0 3437675 0
[pid=11954/tid=11955] ppid=11953 vsize=13801768 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11955/stat : 11955 (java) S 11953 11953 16473 0 -1 1077944384 8777 0 0 0 208 7 0 0 20 0 28 0 4891924 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587916944512 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11957] ppid=11953 vsize=13801768 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11957/stat : 11957 (java) S 11953 11953 16473 0 -1 1077944384 1143 0 0 0 244 99 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587844840336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11958] ppid=11953 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11958/stat : 11958 (java) S 11953 11953 16473 0 -1 1077944384 841 0 0 0 239 99 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587843787536 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11959] ppid=11953 vsize=13801768 CPUtime=3.38 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11959/stat : 11959 (java) S 11953 11953 16473 0 -1 1077944384 875 0 0 0 244 94 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587842735248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11960] ppid=11953 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11960/stat : 11960 (java) S 11953 11953 16473 0 -1 1077944384 834 0 0 0 243 90 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587841682448 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11961] ppid=11953 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11961/stat : 11961 (java) S 11953 11953 16473 0 -1 1077944384 906 0 0 0 238 92 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587840629136 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11962] ppid=11953 vsize=13801768 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11962/stat : 11962 (java) S 11953 11953 16473 0 -1 1077944384 982 0 0 0 239 95 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587839576336 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11963] ppid=11953 vsize=13801768 CPUtime=3.42 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11963/stat : 11963 (java) S 11953 11953 16473 0 -1 1077944384 834 0 0 0 240 102 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587838524048 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11964] ppid=11953 vsize=13801768 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11964/stat : 11964 (java) S 11953 11953 16473 0 -1 1077944384 864 0 0 0 244 95 0 0 20 0 28 0 4891925 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587837471248 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11965] ppid=11953 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11965/stat : 11965 (java) S 11953 11953 16473 0 -1 1077944384 2966 0 0 0 16 1 0 0 20 0 28 0 4891928 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587374963312 140587912714882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11966] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11966/stat : 11966 (java) S 11953 11953 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4891928 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587373909344 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11967] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11967/stat : 11967 (java) S 11953 11953 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4891929 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587372856960 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11968] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11968/stat : 11968 (java) S 11953 11953 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587371805264 140587912722331 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11969] ppid=11953 vsize=13801768 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11969/stat : 11969 (java) R 11953 11953 16473 0 -1 4202560 7875 0 0 0 413 1 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587370743088 140587896114688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11970] ppid=11953 vsize=13801768 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11970/stat : 11970 (java) R 11953 11953 16473 0 -1 4202560 6502 0 0 0 330 1 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587369691152 140587891893184 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11971] ppid=11953 vsize=13801768 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11971/stat : 11971 (java) R 11953 11953 16473 0 -1 4202560 6364 0 0 0 326 1 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587368633048 140587894229381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11972] ppid=11953 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11972/stat : 11972 (java) S 11953 11953 16473 0 -1 1077944384 6338 0 0 0 121 2 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587367594224 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11973] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11973/stat : 11973 (java) S 11953 11953 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587298712416 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11974] ppid=11953 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11974/stat : 11974 (java) S 11953 11953 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4891933 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587297659696 140587912714882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11975] ppid=11953 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11975/stat : 11975 (java) S 11953 11953 16473 0 -1 1077944384 326 0 0 0 198 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587290149168 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11976] ppid=11953 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11976/stat : 11976 (java) S 11953 11953 16473 0 -1 1077944384 298 0 0 0 197 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587289097680 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11977] ppid=11953 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11977/stat : 11977 (java) S 11953 11953 16473 0 -1 1077944384 364 0 0 0 149 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587288044368 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11978] ppid=11953 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11978/stat : 11978 (java) S 11953 11953 16473 0 -1 1077944384 926 0 0 0 188 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587286991568 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11979] ppid=11953 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11979/stat : 11979 (java) R 11953 11953 16473 0 -1 4202560 382 0 0 0 176 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587285934304 140587527154399 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11980] ppid=11953 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11980/stat : 11980 (java) R 11953 11953 16473 0 -1 4202560 246 0 0 0 194 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587284882528 140587526358780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11981] ppid=11953 vsize=13801768 CPUtime=1.72 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11981/stat : 11981 (java) S 11953 11953 16473 0 -1 1077944384 411 0 0 0 171 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587283834192 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
[pid=11954/tid=11982] ppid=11953 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/11954/task/11982/stat : 11982 (java) S 11953 11953 16473 0 -1 1077944384 526 0 0 0 188 1 0 0 20 0 28 0 4892271 14133010432 508610 33554432000 4194304 4196468 140728671026192 140587282781392 140587912713941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27697152 140728671032508 140728671032684 140728671032684 140728671035343 0
Current children cumulated CPU time (s) 56.15
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 8.44812
CPU time (s): 56.2479
CPU user time (s): 48.2464
CPU system time (s): 8.0015
CPU usage (%): 665.804
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2464
system time used= 8.0015
maximum resident set size= 2034520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4128
involuntary context switches= 5463

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.098976 second user time and 0.157197 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 06:03:48
IDJOB=4250185
IDBENCH=139269
IDSOLVER=2625
FILE ID=node114/4250185-1500696228
RUNJOBID= node114-1500682387-16504
PBS_JOBID= 20623324
Free space on /tmp= 62004 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-04-04-fair.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-4250185-1500696228/watcher-4250185-1500696228 -o /tmp/evaluation-result-4250185-1500696228/solver-4250185-1500696228 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1290180295 HOME/instance-4250185-1500696228.xml

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

MD5SUM BENCH= 005af5eedf24bd8f858adc721c64a56d
RANDOM SEED=1290180295

node114.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		: 1600.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.60
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		: 1600.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.60
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		: 2533.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		: 1867.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.60
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		: 1600.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		: 1600.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.60
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		: 2667.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.60
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		: 1600.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		: 1600.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.60
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		: 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	: 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		: 2400.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.60
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		: 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		: 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.60
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:        23084364 kB
MemAvailable:   23262432 kB
Buffers:          123292 kB
Cached:           334368 kB
SwapCached:            0 kB
Active:          8962340 kB
Inactive:         276260 kB
Active(anon):    8783096 kB
Inactive(anon):     8824 kB
Active(file):     179244 kB
Inactive(file):   267436 kB
Unevictable:        5724 kB
Mlocked:            5724 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7872 kB
Writeback:             0 kB
AnonPages:       8793360 kB
Mapped:            43120 kB
Shmem:              8848 kB
Slab:             127908 kB
SReclaimable:      94448 kB
SUnreclaim:        33460 kB
KernelStack:        4864 kB
PageTables:        22276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10541724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8511488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61996 MiB
End job on node114 at 2017-07-22 06:03:56