Trace number 4246545

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 5a (2017-07-05)SAT 148.032 65.9608

General information on the benchmark

NameQRandom/
QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-08.xml
MD5SUMd991fc81a7825fd4569ca865dffdd673
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.96158
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints2713
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree1910
Maximum variable degree1982
Distribution of variable degrees[{"degree":1910,"count":1},{"degree":1911,"count":1},{"degree":1926,"count":1},{"degree":1929,"count":1},{"degree":1931,"count":3},{"degree":1932,"count":1},{"degree":1933,"count":1},{"degree":1934,"count":2},{"degree":1935,"count":1},{"degree":1938,"count":2},{"degree":1941,"count":2},{"degree":1946,"count":1},{"degree":1948,"count":1},{"degree":1956,"count":1},{"degree":1968,"count":1},{"degree":1982,"count":1}]
Minimum constraint arity15
Maximum constraint arity15
Distribution of constraint arities[{"arity":15,"count":2713}]
Number of extensional constraints2713
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2713}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246545-1500687869.xml"  -tl '2400s' -p 8 -x 3
0.00/0.20	c [HOME/instance-4246545-1500687869.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.25	c 8 solvers in parallel
0.00/0.34	c parse instance...
90.70/57.80	c solve instance...
147.75/65.94	s SATISFIABLE
147.75/65.94	v <instantiation>
147.75/65.94	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] </list>
147.75/65.94	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
147.75/65.94	v </instantiation>

Verifier Data 

OK

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-4246545-1500687869/watcher-4246545-1500687869 -o /tmp/evaluation-result-4246545-1500687869/solver-4246545-1500687869 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1698208977 HOME/instance-4246545-1500687869.xml 

pid=2287
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.42 15.46 15.16 10/271 2290
/proc/meminfo: memFree=29822852/32770624 swapFree=5972/256212
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0

[startup+0.100099 s]
/proc/loadavg: 15.42 15.46 15.16 10/271 2290
/proc/meminfo: memFree=29822852/32770624 swapFree=5972/256212
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200305 s]
/proc/loadavg: 15.42 15.46 15.16 10/271 2290
/proc/meminfo: memFree=29822852/32770624 swapFree=5972/256212
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300298 s]
/proc/loadavg: 15.42 15.46 15.16 10/271 2290
/proc/meminfo: memFree=29822852/32770624 swapFree=5972/256212
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700229 s]
/proc/loadavg: 15.42 15.46 15.16 10/271 2290
/proc/meminfo: memFree=29822852/32770624 swapFree=5972/256212
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50072 s]
/proc/loadavg: 15.42 15.46 15.16 10/292 2311
/proc/meminfo: memFree=29731472/32770624 swapFree=5972/256256
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
[pid=2291] ppid=2290 vsize=13267208 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/2291/stat : 2291 (java) S 2290 2290 14626 0 -1 1077944320 13314 0 0 0 295 5 0 0 20 0 20 0 4056446 13585620992 26636 33554432000 4194304 4196468 140733005003008 140733004985552 139698209468151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
/proc/2291/statm: 3316802 26636 3198 1 0 3304035 0
[pid=2291/tid=2292] ppid=2290 vsize=13267208 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2292/stat : 2292 (java) R 2290 2290 14626 0 -1 4202560 6618 0 0 0 143 4 0 0 20 0 20 0 4056446 13585620992 26636 33554432000 4194304 4196468 140733005003008 139698213704248 139698194549126 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2294] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2294/stat : 2294 (java) S 2290 2290 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139698174749456 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2295] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2295/stat : 2295 (java) S 2290 2290 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697807805328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2296] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2296/stat : 2296 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697806752784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2297] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2297/stat : 2297 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697805700240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2298] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2298/stat : 2298 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697804646672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2299] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2299/stat : 2299 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697803594128 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2300] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2300/stat : 2300 (java) S 2290 2290 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697802541584 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2301] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2301/stat : 2301 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4056447 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697801489040 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2302] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2302/stat : 2302 (java) S 2290 2290 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4056449 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697537604080 139698209479298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2303] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4056450 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697536550304 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4056450 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697535497712 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4056454 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2306] ppid=2290 vsize=13267208 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2306/stat : 2306 (java) S 2290 2290 14626 0 -1 1077944384 1447 0 0 0 38 0 0 0 20 0 20 0 4056454 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697533392880 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2307] ppid=2290 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2307/stat : 2307 (java) S 2290 2290 14626 0 -1 1077944384 981 0 0 0 36 0 0 0 20 0 20 0 4056454 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697532340336 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2308] ppid=2290 vsize=13267208 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2308/stat : 2308 (java) S 2290 2290 14626 0 -1 1077944384 1138 0 0 0 39 0 0 0 20 0 20 0 4056454 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697531287792 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2309] ppid=2290 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2309/stat : 2309 (java) S 2290 2290 14626 0 -1 1077944384 1811 0 0 0 35 0 0 0 20 0 20 0 4056454 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697530235248 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2310] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2310/stat : 2310 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4056455 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697529182944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2311] ppid=2290 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2311/stat : 2311 (java) S 2290 2290 14626 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4056455 13585620992 26636 33554432000 4194304 4196468 140733005003008 139697528130480 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 13276720

[startup+3.10095 s]
/proc/loadavg: 15.42 15.46 15.16 10/292 2311
/proc/meminfo: memFree=29722924/32770624 swapFree=5972/256256
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
[pid=2291] ppid=2290 vsize=13269256 CPUtime=5.23 cores=1,3,5,7,9,11,13,15
/proc/2291/stat : 2291 (java) S 2290 2290 14626 0 -1 1077944320 18207 0 0 0 499 24 0 0 20 0 20 0 4056446 13587718144 54158 33554432000 4194304 4196468 140733005003008 140733004985552 139698209468151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
/proc/2291/statm: 3317314 54158 3233 1 0 3304547 0
[pid=2291/tid=2292] ppid=2290 vsize=13269256 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2292/stat : 2292 (java) R 2290 2290 14626 0 -1 4202560 7900 0 0 0 298 5 0 0 20 0 20 0 4056446 13587718144 54158 33554432000 4194304 4196468 140733005003008 139698213703816 139697850360476 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2294] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2294/stat : 2294 (java) S 2290 2290 14626 0 -1 1077944384 285 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139698174749456 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2295] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2295/stat : 2295 (java) S 2290 2290 14626 0 -1 1077944384 54 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697807805328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2296] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2296/stat : 2296 (java) S 2290 2290 14626 0 -1 1077944384 24 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697806752784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2297] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2297/stat : 2297 (java) S 2290 2290 14626 0 -1 1077944384 60 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697805700240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2298] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2298/stat : 2298 (java) S 2290 2290 14626 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697804646672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2299] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2299/stat : 2299 (java) S 2290 2290 14626 0 -1 1077944384 54 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697803594128 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2300] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2300/stat : 2300 (java) S 2290 2290 14626 0 -1 1077944384 198 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697802541584 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2301] ppid=2290 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2301/stat : 2301 (java) S 2290 2290 14626 0 -1 1077944384 21 0 0 0 1 2 0 0 20 0 20 0 4056447 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697801489040 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2302] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2302/stat : 2302 (java) S 2290 2290 14626 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 4056449 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697537604080 139698209479298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2303] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4056450 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697536550304 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4056450 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697535497712 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4056454 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2306] ppid=2290 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2306/stat : 2306 (java) S 2290 2290 14626 0 -1 1077944384 1991 0 0 0 49 0 0 0 20 0 20 0 4056454 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697533392880 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2307] ppid=2290 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2307/stat : 2307 (java) S 2290 2290 14626 0 -1 1077944384 1426 0 0 0 43 0 0 0 20 0 20 0 4056454 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697532340336 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2308] ppid=2290 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2308/stat : 2308 (java) S 2290 2290 14626 0 -1 1077944384 1679 0 0 0 49 0 0 0 20 0 20 0 4056454 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697531287792 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2309] ppid=2290 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2309/stat : 2309 (java) S 2290 2290 14626 0 -1 1077944384 2902 0 0 0 43 0 0 0 20 0 20 0 4056454 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697530235248 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2310] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2310/stat : 2310 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4056455 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697529182944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2311] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2311/stat : 2311 (java) S 2290 2290 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4056455 13587718144 54158 33554432000 4194304 4196468 140733005003008 139697528130480 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 13278768

[startup+6.3009 s]
/proc/loadavg: 14.91 15.35 15.13 10/292 2311
/proc/meminfo: memFree=29564304/32770624 swapFree=5972/256268
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
[pid=2291] ppid=2290 vsize=13269256 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/2291/stat : 2291 (java) S 2290 2290 14626 0 -1 1077944320 19103 0 0 0 850 66 0 0 20 0 20 0 4056446 13587718144 75769 33554432000 4194304 4196468 140733005003008 140733004985552 139698209468151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
/proc/2291/statm: 3317314 75769 3238 1 0 3304547 0
[pid=2291/tid=2292] ppid=2290 vsize=13269256 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2292/stat : 2292 (java) R 2290 2290 14626 0 -1 4202560 7932 0 0 0 608 5 0 0 20 0 20 0 4056446 13587718144 75769 33554432000 4194304 4196468 140733005003008 139698213704040 139697850389136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2294] ppid=2290 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2294/stat : 2294 (java) S 2290 2290 14626 0 -1 1077944384 336 0 0 0 6 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139698174749456 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2295] ppid=2290 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2295/stat : 2295 (java) S 2290 2290 14626 0 -1 1077944384 104 0 0 0 6 6 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697807805328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2296] ppid=2290 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2296/stat : 2296 (java) S 2290 2290 14626 0 -1 1077944384 94 0 0 0 5 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697806752784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2297] ppid=2290 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2297/stat : 2297 (java) S 2290 2290 14626 0 -1 1077944384 109 0 0 0 5 8 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697805700240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2298] ppid=2290 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2298/stat : 2298 (java) S 2290 2290 14626 0 -1 1077944384 92 0 0 0 5 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697804646672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2299] ppid=2290 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2299/stat : 2299 (java) S 2290 2290 14626 0 -1 1077944384 117 0 0 0 6 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697803594128 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2300] ppid=2290 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2300/stat : 2300 (java) S 2290 2290 14626 0 -1 1077944384 248 0 0 0 6 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697802541584 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2301] ppid=2290 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2301/stat : 2301 (java) S 2290 2290 14626 0 -1 1077944384 80 0 0 0 5 7 0 0 20 0 20 0 4056447 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697801489040 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2302] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2302/stat : 2302 (java) S 2290 2290 14626 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 4056449 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697537604080 139698209479298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2303] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4056450 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697536550304 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4056450 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697535497712 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4056454 13587718144 75769 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0

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

/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697536550368 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697535497728 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4056454 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2306] ppid=2290 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2306/stat : 2306 (java) S 2290 2290 14626 0 -1 1077944384 4955 0 0 0 124 0 0 0 20 0 28 0 4056454 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697533383984 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2307] ppid=2290 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2307/stat : 2307 (java) S 2290 2290 14626 0 -1 1077944384 6366 0 0 0 129 1 0 0 20 0 28 0 4056454 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697532325328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2308] ppid=2290 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2308/stat : 2308 (java) S 2290 2290 14626 0 -1 1077944384 6322 0 0 0 137 0 0 0 20 0 28 0 4056454 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697531272784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2309] ppid=2290 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2309/stat : 2309 (java) S 2290 2290 14626 0 -1 1077944384 4791 0 0 0 60 1 0 0 20 0 28 0 4056454 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697530235008 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2310] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2310/stat : 2310 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4056455 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697529182944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2311] ppid=2290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2311/stat : 2311 (java) S 2290 2290 14626 0 -1 1077944384 275 0 0 0 1 1 0 0 20 0 28 0 4056455 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697528130480 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2312] ppid=2290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2312/stat : 2312 (java) S 2290 2290 14626 0 -1 1077944384 81 0 0 0 19 0 0 0 20 0 28 0 4062227 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697520114944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2313] ppid=2290 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2313/stat : 2313 (java) S 2290 2290 14626 0 -1 1077944384 147 0 0 0 25 0 0 0 20 0 28 0 4062227 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697519063440 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2314] ppid=2290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2314/stat : 2314 (java) S 2290 2290 14626 0 -1 1077944384 106 0 0 0 19 0 0 0 20 0 28 0 4062227 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697518013088 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2315] ppid=2290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2315/stat : 2315 (java) S 2290 2290 14626 0 -1 1077944384 50 0 0 0 19 0 0 0 20 0 28 0 4062227 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697516957328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2316] ppid=2290 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2316/stat : 2316 (java) S 2290 2290 14626 0 -1 1077944384 99 0 0 0 18 0 0 0 20 0 28 0 4062227 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697515904672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2317] ppid=2290 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2317/stat : 2317 (java) S 2290 2290 14626 0 -1 1077944384 32 0 0 0 27 0 0 0 20 0 28 0 4062228 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697514852240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2318] ppid=2290 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2318/stat : 2318 (java) S 2290 2290 14626 0 -1 1077944384 26 0 0 0 16 0 0 0 20 0 28 0 4062228 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697513799696 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2319] ppid=2290 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2319/stat : 2319 (java) S 2290 2290 14626 0 -1 1077944384 26 0 0 0 25 0 0 0 20 0 28 0 4062228 14133010432 748375 33554432000 4194304 4196468 140733005003008 139697512749488 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
Current children cumulated CPU time (s) 146.64
Current children cumulated vsize (KiB) 13811280

[startup+65.805 s]
/proc/loadavg: 12.15 14.40 14.81 11/299 2320
/proc/meminfo: memFree=27100336/32770624 swapFree=5972/256360
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
[pid=2291] ppid=2290 vsize=13801768 CPUtime=147.04 cores=1,3,5,7,9,11,13,15
/proc/2291/stat : 2291 (java) S 2290 2290 14626 0 -1 1077944320 62927 0 0 0 13638 1066 0 0 20 0 28 0 4056446 14133010432 749311 33554432000 4194304 4196468 140733005003008 140733004985552 139698209468151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
/proc/2291/statm: 3450442 749311 3279 1 0 3437675 0
[pid=2291/tid=2292] ppid=2290 vsize=13801768 CPUtime=53.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2292/stat : 2292 (java) S 2290 2290 14626 0 -1 1077944384 12432 0 0 0 5299 13 0 0 20 0 28 0 4056446 14133010432 749311 33554432000 4194304 4196468 140733005003008 139698213708928 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2294] ppid=2290 vsize=13801768 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2294/stat : 2294 (java) S 2290 2290 14626 0 -1 1077944384 2022 0 0 0 948 130 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139698174749456 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2295] ppid=2290 vsize=13801768 CPUtime=10.85 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2295/stat : 2295 (java) S 2290 2290 14626 0 -1 1077944384 2086 0 0 0 959 126 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697807805328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2296] ppid=2290 vsize=13801768 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2296/stat : 2296 (java) S 2290 2290 14626 0 -1 1077944384 1912 0 0 0 947 126 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697806752784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2297] ppid=2290 vsize=13801768 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2297/stat : 2297 (java) S 2290 2290 14626 0 -1 1077944384 1844 0 0 0 942 131 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697805700240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2298] ppid=2290 vsize=13801768 CPUtime=10.76 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2298/stat : 2298 (java) S 2290 2290 14626 0 -1 1077944384 1628 0 0 0 944 132 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697804646672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2299] ppid=2290 vsize=13801768 CPUtime=10.75 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2299/stat : 2299 (java) S 2290 2290 14626 0 -1 1077944384 2546 0 0 0 943 132 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697803594128 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2300] ppid=2290 vsize=13801768 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2300/stat : 2300 (java) S 2290 2290 14626 0 -1 1077944384 1713 0 0 0 930 127 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697802541584 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2301] ppid=2290 vsize=13801768 CPUtime=10.76 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2301/stat : 2301 (java) S 2290 2290 14626 0 -1 1077944384 1974 0 0 0 938 138 0 0 20 0 28 0 4056447 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697801489040 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2302] ppid=2290 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2302/stat : 2302 (java) R 2290 2290 14626 0 -1 4202560 7866 0 0 0 134 0 0 0 20 0 28 0 4056449 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697537604256 139698209489498 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2303] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697536550368 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697535496832 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4056454 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2306] ppid=2290 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2306/stat : 2306 (java) S 2290 2290 14626 0 -1 1077944384 5036 0 0 0 124 0 0 0 20 0 28 0 4056454 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697533392880 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2307] ppid=2290 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2307/stat : 2307 (java) R 2290 2290 14626 0 -1 4202560 6699 0 0 0 131 1 0 0 20 0 28 0 4056454 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697532340632 139698191012751 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2308] ppid=2290 vsize=13801768 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2308/stat : 2308 (java) R 2290 2290 14626 0 -1 4202560 7260 0 0 0 140 0 0 0 20 0 28 0 4056454 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697531287712 139698191015582 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2309] ppid=2290 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2309/stat : 2309 (java) S 2290 2290 14626 0 -1 1077944384 4912 0 0 0 60 1 0 0 20 0 28 0 4056454 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697530235248 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2310] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2310/stat : 2310 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4056455 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697529182944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2311] ppid=2290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2311/stat : 2311 (java) S 2290 2290 14626 0 -1 1077944384 275 0 0 0 1 1 0 0 20 0 28 0 4056455 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697528130480 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2312] ppid=2290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2312/stat : 2312 (java) R 2290 2290 14626 0 -1 4202560 116 0 0 0 22 0 0 0 20 0 28 0 4062227 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697520115080 139697852373333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2313] ppid=2290 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2313/stat : 2313 (java) R 2290 2290 14626 0 -1 4202560 180 0 0 0 27 0 0 0 20 0 28 0 4062227 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697519063936 139698209489498 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2314] ppid=2290 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2314/stat : 2314 (java) R 2290 2290 14626 0 -1 4202560 153 0 0 0 22 0 0 0 20 0 28 0 4062227 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697518013224 139697852442445 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2315] ppid=2290 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2315/stat : 2315 (java) R 2290 2290 14626 0 -1 4202560 103 0 0 0 21 0 0 0 20 0 28 0 4062227 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697516957240 139697852373333 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2316] ppid=2290 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2316/stat : 2316 (java) R 2290 2290 14626 0 -1 4202560 154 0 0 0 21 0 0 0 20 0 28 0 4062227 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697515904808 139697852329400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2317] ppid=2290 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2317/stat : 2317 (java) R 2290 2290 14626 0 -1 4202560 168 0 0 0 29 0 0 0 20 0 28 0 4062228 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697514852136 139697846031957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2318] ppid=2290 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2318/stat : 2318 (java) R 2290 2290 14626 0 -1 4202560 103 0 0 0 19 0 0 0 20 0 28 0 4062228 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697513802184 139697852373333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2319] ppid=2290 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2319/stat : 2319 (java) R 2290 2290 14626 0 -1 4202560 296 0 0 0 26 0 0 0 20 0 28 0 4062228 14133010432 749311 33554432000 4194304 4196468 140733005003008 139697512749832 139698192852137 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (KiB) 13811280

[startup+65.9019 s]
/proc/loadavg: 12.15 14.40 14.81 11/299 2320
/proc/meminfo: memFree=27100336/32770624 swapFree=5972/256360
[pid=2290] ppid=2287 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2290/stat : 2290 (xcsp3-exec) S 2287 2290 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4056445 9740288 346 33554432000 4194304 5098028 140731963818624 140731963816728 140359606837884 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 22376448 140731963827342 140731963827552 140731963827552 140731963830251 0
/proc/2290/statm: 2378 346 289 221 0 87 0
[pid=2291] ppid=2290 vsize=13801768 CPUtime=147.75 cores=1,3,5,7,9,11,13,15
/proc/2291/stat : 2291 (java) S 2290 2290 14626 0 -1 1077944320 65149 0 0 0 13708 1067 0 0 20 0 28 0 4056446 14133010432 749338 33554432000 4194304 4196468 140733005003008 140733004985552 139698209468151 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
/proc/2291/statm: 3450442 749338 3279 1 0 3437675 0
[pid=2291/tid=2292] ppid=2290 vsize=13801768 CPUtime=53.12 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2292/stat : 2292 (java) S 2290 2290 14626 0 -1 1077944384 12432 0 0 0 5299 13 0 0 20 0 28 0 4056446 14133010432 749338 33554432000 4194304 4196468 140733005003008 139698213708928 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2294] ppid=2290 vsize=13801768 CPUtime=10.78 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2294/stat : 2294 (java) S 2290 2290 14626 0 -1 1077944384 2022 0 0 0 948 130 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139698174749456 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2295] ppid=2290 vsize=13801768 CPUtime=10.85 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2295/stat : 2295 (java) S 2290 2290 14626 0 -1 1077944384 2086 0 0 0 959 126 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697807805328 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2296] ppid=2290 vsize=13801768 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2296/stat : 2296 (java) S 2290 2290 14626 0 -1 1077944384 1912 0 0 0 947 126 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697806752784 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2297] ppid=2290 vsize=13801768 CPUtime=10.73 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2297/stat : 2297 (java) S 2290 2290 14626 0 -1 1077944384 1844 0 0 0 942 131 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697805700240 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2298] ppid=2290 vsize=13801768 CPUtime=10.76 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2298/stat : 2298 (java) S 2290 2290 14626 0 -1 1077944384 1628 0 0 0 944 132 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697804646672 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2299] ppid=2290 vsize=13801768 CPUtime=10.75 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2299/stat : 2299 (java) S 2290 2290 14626 0 -1 1077944384 2546 0 0 0 943 132 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697803594128 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2300] ppid=2290 vsize=13801768 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2300/stat : 2300 (java) S 2290 2290 14626 0 -1 1077944384 1713 0 0 0 930 127 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697802541584 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2301] ppid=2290 vsize=13801768 CPUtime=10.76 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2301/stat : 2301 (java) S 2290 2290 14626 0 -1 1077944384 1974 0 0 0 938 138 0 0 20 0 28 0 4056447 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697801489040 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2302] ppid=2290 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2302/stat : 2302 (java) S 2290 2290 14626 0 -1 1077944384 7876 0 0 0 134 0 0 0 20 0 28 0 4056449 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697537604080 139698209479298 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2303] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2303/stat : 2303 (java) S 2290 2290 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697536550368 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2304] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2304/stat : 2304 (java) S 2290 2290 14626 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 4056450 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697535497728 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2305] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2305/stat : 2305 (java) S 2290 2290 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4056454 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697534446288 139698209486747 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2306] ppid=2290 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2306/stat : 2306 (java) R 2290 2290 14626 0 -1 4202560 5462 0 0 0 128 0 0 0 20 0 28 0 4056454 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697533392864 139698192982440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2307] ppid=2290 vsize=13801768 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2307/stat : 2307 (java) R 2290 2290 14626 0 -1 4202560 7420 0 0 0 134 1 0 0 20 0 28 0 4056454 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697532326880 139698189161743 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2308] ppid=2290 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2308/stat : 2308 (java) R 2290 2290 14626 0 -1 4202560 7657 0 0 0 143 0 0 0 20 0 28 0 4056454 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697531269360 139698194347728 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2309] ppid=2290 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2309/stat : 2309 (java) S 2290 2290 14626 0 -1 1077944384 5431 0 0 0 62 1 0 0 20 0 28 0 4056454 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697530235248 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2310] ppid=2290 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2310/stat : 2310 (java) S 2290 2290 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4056455 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697529182944 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2311] ppid=2290 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2311/stat : 2311 (java) S 2290 2290 14626 0 -1 1077944384 275 0 0 0 1 1 0 0 20 0 28 0 4056455 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697528130480 139698209479298 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2312] ppid=2290 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2312/stat : 2312 (java) S 2290 2290 14626 0 -1 1077944384 125 0 0 0 28 0 0 0 20 0 28 0 4062227 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697520114912 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2313] ppid=2290 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2313/stat : 2313 (java) R 2290 2290 14626 0 -1 4202560 189 0 0 0 35 0 0 0 20 0 28 0 4062227 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697519062760 139698209480086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2314] ppid=2290 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2314/stat : 2314 (java) S 2290 2290 14626 0 -1 1077944384 159 0 0 0 28 0 0 0 20 0 28 0 4062227 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697518009808 139698209478357 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2315] ppid=2290 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2315/stat : 2315 (java) R 2290 2290 14626 0 -1 4202560 119 0 0 0 28 0 0 0 20 0 28 0 4062227 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697516956648 139697852303816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2316] ppid=2290 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2316/stat : 2316 (java) R 2290 2290 14626 0 -1 4202560 170 0 0 0 29 0 0 0 20 0 28 0 4062227 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697515904512 139697852279432 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2317] ppid=2290 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2317/stat : 2317 (java) R 2290 2290 14626 0 -1 4202560 191 0 0 0 38 0 0 0 20 0 28 0 4062228 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697514851872 139697848664459 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2318] ppid=2290 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2318/stat : 2318 (java) R 2290 2290 14626 0 -1 1077944384 112 0 0 0 27 0 0 0 20 0 28 0 4062228 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697513799632 139698209478357 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
[pid=2291/tid=2319] ppid=2290 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/2291/task/2319/stat : 2319 (java) R 2290 2290 14626 0 -1 4202560 356 0 0 0 32 0 0 0 20 0 28 0 4062228 14133010432 749338 33554432000 4194304 4196468 140733005003008 139697512746312 139697848666026 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18472960 140733005006012 140733005006188 140733005006188 140733005008847 0
Current children cumulated CPU time (s) 147.75
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 65.9608
CPU time (s): 148.032
CPU user time (s): 137.34
CPU system time (s): 10.6925
CPU usage (%): 224.425
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.34
system time used= 10.6925
maximum resident set size= 2997512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6180
involuntary context switches= 11091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.516397 second user time and 0.640223 second system time

The end

Launcher Data 

Begin job on node105 at 2017-07-22 03:44:29
IDJOB=4246545
IDBENCH=125852
IDSOLVER=2626
FILE ID=node105/4246545-1500687869
RUNJOBID= node105-1500682495-14658
PBS_JOBID= 20623326
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-08.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-4246545-1500687869/watcher-4246545-1500687869 -o /tmp/evaluation-result-4246545-1500687869/solver-4246545-1500687869 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1698208977 HOME/instance-4246545-1500687869.xml

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

MD5SUM BENCH= d991fc81a7825fd4569ca865dffdd673
RANDOM SEED=1698208977

node105.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.33
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.33
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.33
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		: 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.33
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		: 1733.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.33
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		: 2267.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.33
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.33
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.33
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:        29823268 kB
MemAvailable:   29979432 kB
Buffers:          111332 kB
Cached:           326360 kB
SwapCached:            0 kB
Active:          2245396 kB
Inactive:         264840 kB
Active(anon):    2075392 kB
Inactive(anon):     8628 kB
Active(file):     170004 kB
Inactive(file):   256212 kB
Unevictable:        5972 kB
Mlocked:            6004 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8288 kB
Writeback:             0 kB
AnonPages:       2018728 kB
Mapped:            43096 kB
Shmem:              8852 kB
Slab:             125708 kB
SReclaimable:      91568 kB
SUnreclaim:        34140 kB
KernelStack:        5040 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2938780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1886208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61992 MiB
End job on node105 at 2017-07-22 03:45:36