Trace number 4246484

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 1748.87 253.612

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5-p7/
mdd-7-25-5-ps05-psh07-4.xml
MD5SUMcc3fcfac109c3d277a0ef72b27cdc983
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 benchmark80.053596
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints58
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree9
Maximum variable degree21
Distribution of variable degrees[{"degree":9,"count":1},{"degree":10,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":6},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":58}]
Number of extensional constraints58
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":58}]
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-4246484-1500687498.xml"  -tl '2400s' -p 8 -x 0
0.00/0.15	c [HOME/instance-4246484-1500687498.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.20	c 8 solvers in parallel
0.00/0.27	c parse instance...
98.61/46.30	c solve instance...
1748.24/253.57	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-4246484-1500687498/watcher-4246484-1500687498 -o /tmp/evaluation-result-4246484-1500687498/solver-4246484-1500687498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 681448381 HOME/instance-4246484-1500687498.xml 

pid=3926
running on 8 cores: 4-7,12-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: 13.43 14.91 14.88 10/274 3929
/proc/meminfo: memFree=28270732/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0

[startup+0.100097 s]
/proc/loadavg: 13.43 14.91 14.88 10/274 3929
/proc/meminfo: memFree=28270732/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200231 s]
/proc/loadavg: 13.43 14.91 14.88 10/274 3929
/proc/meminfo: memFree=28270732/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300263 s]
/proc/loadavg: 13.43 14.91 14.88 10/274 3929
/proc/meminfo: memFree=28270732/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700197 s]
/proc/loadavg: 13.43 14.91 14.88 10/274 3929
/proc/meminfo: memFree=28270732/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50083 s]
/proc/loadavg: 13.43 14.91 14.88 10/294 3950
/proc/meminfo: memFree=27946612/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=13267208 CPUtime=3.95 cores=4-7,12-15
/proc/3930/stat : 3930 (java) S 3929 3929 18810 0 -1 1077944320 13900 0 0 0 307 88 0 0 20 0 20 0 4016986 13585620992 113863 33554432000 4194304 4196468 140725777132224 140725777114768 140309663063799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
/proc/3930/statm: 3316802 113863 3224 1 0 3304035 0
[pid=3930/tid=3931] ppid=3929 vsize=13267208 CPUtime=1.3 cores=4-7,12-15
/proc/3930/task/3931/stat : 3931 (java) R 3929 3929 18810 0 -1 4202560 6438 0 0 0 123 7 0 0 20 0 20 0 4016986 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309667301904 140309287005682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3933] ppid=3929 vsize=13267208 CPUtime=0.15 cores=4-7,12-15
/proc/3930/task/3933/stat : 3933 (java) S 3929 3929 18810 0 -1 1077944384 87 0 0 0 5 10 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309615684496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3934] ppid=3929 vsize=13267208 CPUtime=0.13 cores=4-7,12-15
/proc/3930/task/3934/stat : 3934 (java) S 3929 3929 18810 0 -1 1077944384 95 0 0 0 4 9 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309614631696 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3935] ppid=3929 vsize=13267208 CPUtime=0.14 cores=4-7,12-15
/proc/3930/task/3935/stat : 3935 (java) S 3929 3929 18810 0 -1 1077944384 76 0 0 0 4 10 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309613579408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3936] ppid=3929 vsize=13267208 CPUtime=0.11 cores=4-7,12-15
/proc/3930/task/3936/stat : 3936 (java) S 3929 3929 18810 0 -1 1077944384 69 0 0 0 3 8 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309612526608 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3937] ppid=3929 vsize=13267208 CPUtime=0.12 cores=4-7,12-15
/proc/3930/task/3937/stat : 3937 (java) S 3929 3929 18810 0 -1 1077944384 71 0 0 0 3 9 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309611473296 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3938] ppid=3929 vsize=13267208 CPUtime=0.14 cores=4-7,12-15
/proc/3930/task/3938/stat : 3938 (java) S 3929 3929 18810 0 -1 1077944384 78 0 0 0 6 8 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309610420496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3939] ppid=3929 vsize=13267208 CPUtime=0.15 cores=4-7,12-15
/proc/3930/task/3939/stat : 3939 (java) S 3929 3929 18810 0 -1 1077944384 81 0 0 0 6 9 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309609368208 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3940] ppid=3929 vsize=13267208 CPUtime=0.12 cores=4-7,12-15
/proc/3930/task/3940/stat : 3940 (java) S 3929 3929 18810 0 -1 1077944384 67 0 0 0 4 8 0 0 20 0 20 0 4016987 13585620992 113863 33554432000 4194304 4196468 140725777132224 140309608315408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3941] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3941/stat : 3941 (java) S 3929 3929 18810 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308990884464 140309663074946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3942] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3942/stat : 3942 (java) S 3929 3929 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308989830496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3943] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3943/stat : 3943 (java) S 3929 3929 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308988778112 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3944] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3944/stat : 3944 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308987726416 140309663082395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3945] ppid=3929 vsize=13267208 CPUtime=0.41 cores=4-7,12-15
/proc/3930/task/3945/stat : 3945 (java) S 3929 3929 18810 0 -1 1077944384 1682 0 0 0 41 0 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308986673264 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3946] ppid=3929 vsize=13267208 CPUtime=0.35 cores=4-7,12-15
/proc/3930/task/3946/stat : 3946 (java) S 3929 3929 18810 0 -1 1077944384 1044 0 0 0 35 0 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308985620464 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3947] ppid=3929 vsize=13267208 CPUtime=0.41 cores=4-7,12-15
/proc/3930/task/3947/stat : 3947 (java) S 3929 3929 18810 0 -1 1077944384 1114 0 0 0 40 1 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308984568176 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3948] ppid=3929 vsize=13267208 CPUtime=0.28 cores=4-7,12-15
/proc/3930/task/3948/stat : 3948 (java) S 3929 3929 18810 0 -1 1077944384 1492 0 0 0 28 0 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308983515376 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3949] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3949/stat : 3949 (java) S 3929 3929 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4016992 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308982463328 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3950] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3950/stat : 3950 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4016993 13585620992 113863 33554432000 4194304 4196468 140725777132224 140308981410608 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 13276720

[startup+3.10116 s]
/proc/loadavg: 13.43 14.91 14.88 10/294 3950
/proc/meminfo: memFree=27566904/32770624 swapFree=5944/247020
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=13267208 CPUtime=6.19 cores=4-7,12-15
/proc/3930/stat : 3930 (java) S 3929 3929 18810 0 -1 1077944320 15178 0 0 0 485 134 0 0 20 0 20 0 4016986 13585620992 197703 33554432000 4194304 4196468 140725777132224 140725777114768 140309663063799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
/proc/3930/statm: 3316802 197703 3224 1 0 3304035 0
[pid=3930/tid=3931] ppid=3929 vsize=13267208 CPUtime=2.82 cores=4-7,12-15
/proc/3930/task/3931/stat : 3931 (java) R 3929 3929 18810 0 -1 4202560 6743 0 0 0 271 11 0 0 20 0 20 0 4016986 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309667301928 140309286984176 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3933] ppid=3929 vsize=13267208 CPUtime=0.24 cores=4-7,12-15
/proc/3930/task/3933/stat : 3933 (java) S 3929 3929 18810 0 -1 1077944384 123 0 0 0 8 16 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309615684496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3934] ppid=3929 vsize=13267208 CPUtime=0.22 cores=4-7,12-15
/proc/3930/task/3934/stat : 3934 (java) S 3929 3929 18810 0 -1 1077944384 161 0 0 0 7 15 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309614631696 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3935] ppid=3929 vsize=13267208 CPUtime=0.22 cores=4-7,12-15
/proc/3930/task/3935/stat : 3935 (java) S 3929 3929 18810 0 -1 1077944384 132 0 0 0 7 15 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309613579408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3936] ppid=3929 vsize=13267208 CPUtime=0.19 cores=4-7,12-15
/proc/3930/task/3936/stat : 3936 (java) S 3929 3929 18810 0 -1 1077944384 373 0 0 0 6 13 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309612526608 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3937] ppid=3929 vsize=13267208 CPUtime=0.21 cores=4-7,12-15
/proc/3930/task/3937/stat : 3937 (java) S 3929 3929 18810 0 -1 1077944384 129 0 0 0 7 14 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309611473296 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3938] ppid=3929 vsize=13267208 CPUtime=0.23 cores=4-7,12-15
/proc/3930/task/3938/stat : 3938 (java) S 3929 3929 18810 0 -1 1077944384 112 0 0 0 10 13 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309610420496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3939] ppid=3929 vsize=13267208 CPUtime=0.24 cores=4-7,12-15
/proc/3930/task/3939/stat : 3939 (java) S 3929 3929 18810 0 -1 1077944384 117 0 0 0 9 15 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309609368208 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3940] ppid=3929 vsize=13267208 CPUtime=0.21 cores=4-7,12-15
/proc/3930/task/3940/stat : 3940 (java) S 3929 3929 18810 0 -1 1077944384 111 0 0 0 7 14 0 0 20 0 20 0 4016987 13585620992 197703 33554432000 4194304 4196468 140725777132224 140309608315408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3941] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3941/stat : 3941 (java) S 3929 3929 18810 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308990884464 140309663074946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3942] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3942/stat : 3942 (java) S 3929 3929 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308989830496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3943] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3943/stat : 3943 (java) S 3929 3929 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4016989 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308988778112 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3944] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3944/stat : 3944 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308987726416 140309663082395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3945] ppid=3929 vsize=13267208 CPUtime=0.41 cores=4-7,12-15
/proc/3930/task/3945/stat : 3945 (java) S 3929 3929 18810 0 -1 1077944384 1682 0 0 0 41 0 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308986673264 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3946] ppid=3929 vsize=13267208 CPUtime=0.35 cores=4-7,12-15
/proc/3930/task/3946/stat : 3946 (java) S 3929 3929 18810 0 -1 1077944384 1044 0 0 0 35 0 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308985620464 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3947] ppid=3929 vsize=13267208 CPUtime=0.41 cores=4-7,12-15
/proc/3930/task/3947/stat : 3947 (java) S 3929 3929 18810 0 -1 1077944384 1120 0 0 0 40 1 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308984568176 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3948] ppid=3929 vsize=13267208 CPUtime=0.3 cores=4-7,12-15
/proc/3930/task/3948/stat : 3948 (java) S 3929 3929 18810 0 -1 1077944384 1525 0 0 0 30 0 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308983515376 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3949] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3949/stat : 3949 (java) S 3929 3929 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4016992 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308982463328 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3950] ppid=3929 vsize=13267208 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3950/stat : 3950 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4016993 13585620992 197703 33554432000 4194304 4196468 140725777132224 140308981410608 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13276720

[startup+6.30117 s]
/proc/loadavg: 13.08 14.81 14.85 17/294 3950
/proc/meminfo: memFree=26825556/32770624 swapFree=5944/247028
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=13269256 CPUtime=12.19 cores=4-7,12-15
/proc/3930/stat : 3930 (java) S 3929 3929 18810 0 -1 1077944320 24860 0 0 0 937 282 0 0 20 0 20 0 4016986 13587718144 379507 33554432000 4194304 4196468 140725777132224 140725777114768 140309663063799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
/proc/3930/statm: 3317314 379507 3231 1 0 3304547 0
[pid=3930/tid=3931] ppid=3929 vsize=13269256 CPUtime=5.69 cores=4-7,12-15
/proc/3930/task/3931/stat : 3931 (java) R 3929 3929 18810 0 -1 4202560 9270 0 0 0 551 18 0 0 20 0 20 0 4016986 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309667301736 140309647553918 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3933] ppid=3929 vsize=13269256 CPUtime=0.55 cores=4-7,12-15
/proc/3930/task/3933/stat : 3933 (java) S 3929 3929 18810 0 -1 1077944384 289 0 0 0 21 34 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309615684496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3934] ppid=3929 vsize=13269256 CPUtime=0.49 cores=4-7,12-15
/proc/3930/task/3934/stat : 3934 (java) S 3929 3929 18810 0 -1 1077944384 284 0 0 0 18 31 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309614631696 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3935] ppid=3929 vsize=13269256 CPUtime=0.54 cores=4-7,12-15
/proc/3930/task/3935/stat : 3935 (java) S 3929 3929 18810 0 -1 1077944384 313 0 0 0 18 36 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309613579408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3936] ppid=3929 vsize=13269256 CPUtime=0.51 cores=4-7,12-15
/proc/3930/task/3936/stat : 3936 (java) S 3929 3929 18810 0 -1 1077944384 636 0 0 0 21 30 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309612526608 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3937] ppid=3929 vsize=13269256 CPUtime=0.52 cores=4-7,12-15
/proc/3930/task/3937/stat : 3937 (java) S 3929 3929 18810 0 -1 1077944384 406 0 0 0 18 34 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309611473296 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3938] ppid=3929 vsize=13269256 CPUtime=0.54 cores=4-7,12-15
/proc/3930/task/3938/stat : 3938 (java) S 3929 3929 18810 0 -1 1077944384 283 0 0 0 24 30 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309610420496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3939] ppid=3929 vsize=13269256 CPUtime=0.55 cores=4-7,12-15
/proc/3930/task/3939/stat : 3939 (java) S 3929 3929 18810 0 -1 1077944384 312 0 0 0 26 29 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309609368208 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3940] ppid=3929 vsize=13269256 CPUtime=0.52 cores=4-7,12-15
/proc/3930/task/3940/stat : 3940 (java) S 3929 3929 18810 0 -1 1077944384 343 0 0 0 21 31 0 0 20 0 20 0 4016987 13587718144 379507 33554432000 4194304 4196468 140725777132224 140309608315408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3941] ppid=3929 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/3930/task/3941/stat : 3941 (java) S 3929 3929 18810 0 -1 1077944384 1351 0 0 0 1 0 0 0 20 0 20 0 4016989 13587718144 379507 33554432000 4194304 4196468 140725777132224 140308990884464 140309663074946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3942] ppid=3929 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3942/stat : 3942 (java) S 3929 3929 18810 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4016989 13587718144 379507 33554432000 4194304 4196468 140725777132224 140308989830496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3943] ppid=3929 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3943/stat : 3943 (java) S 3929 3929 18810 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4016989 13587718144 379507 33554432000 4194304 4196468 140725777132224 140308988778112 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3944] ppid=3929 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3944/stat : 3944 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4016992 13587718144 379507 33554432000 4194304 4196468 140725777132224 140308987726416 140309663082395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0

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

/proc/3930/task/3949/stat : 3949 (java) S 3929 3929 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308982463328 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3950] ppid=3929 vsize=13801768 CPUtime=0.15 cores=4-7,12-15
/proc/3930/task/3950/stat : 3950 (java) S 3929 3929 18810 0 -1 1077944384 1449 0 0 0 7 8 0 0 20 0 28 0 4016993 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308981410608 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4039] ppid=3929 vsize=13801768 CPUtime=203.09 cores=4-7,12-15
/proc/3930/task/4039/stat : 4039 (java) R 3929 3929 18810 0 -1 4202560 2052 0 0 0 20309 0 0 0 20 0 28 0 4021617 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308973397960 140309286076428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4040] ppid=3929 vsize=13801768 CPUtime=201.44 cores=4-7,12-15
/proc/3930/task/4040/stat : 4040 (java) R 3929 3929 18810 0 -1 4202560 2966 0 0 0 20144 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308972343504 140309289568611 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4041] ppid=3929 vsize=13801768 CPUtime=203.81 cores=4-7,12-15
/proc/3930/task/4041/stat : 4041 (java) R 3929 3929 18810 0 -1 4202560 2938 0 0 0 20380 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308971290584 140309289568591 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4042] ppid=3929 vsize=13801768 CPUtime=203.79 cores=4-7,12-15
/proc/3930/task/4042/stat : 4042 (java) R 3929 3929 18810 0 -1 4202560 2311 0 0 0 20370 9 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308970237784 140309289568629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4043] ppid=3929 vsize=13801768 CPUtime=202.36 cores=4-7,12-15
/proc/3930/task/4043/stat : 4043 (java) R 3929 3929 18810 0 -1 4202560 1622 0 0 0 20236 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308969185352 140309286334986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4044] ppid=3929 vsize=13801768 CPUtime=203.6 cores=4-7,12-15
/proc/3930/task/4044/stat : 4044 (java) R 3929 3929 18810 0 -1 4202560 1248 0 0 0 20359 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308968132696 140309286076274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4045] ppid=3929 vsize=13801768 CPUtime=203.47 cores=4-7,12-15
/proc/3930/task/4045/stat : 4045 (java) R 3929 3929 18810 0 -1 4202560 1399 0 0 0 20346 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308967080408 140309289568639 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4046] ppid=3929 vsize=13801768 CPUtime=202.45 cores=4-7,12-15
/proc/3930/task/4046/stat : 4046 (java) R 3929 3929 18810 0 -1 4202560 1745 0 0 0 20245 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308966027608 140309289569028 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
Current children cumulated CPU time (s) 1729.92
Current children cumulated vsize (KiB) 13811280

[startup+252.801 s]
/proc/loadavg: 13.30 13.26 14.16 18/303 5274
/proc/meminfo: memFree=25534004/32770624 swapFree=5944/247996
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=13801768 CPUtime=1742.67 cores=4-7,12-15
/proc/3930/stat : 3930 (java) S 3929 3929 18810 0 -1 1077944320 119031 0 0 0 173246 1021 0 0 20 0 28 0 4016986 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140725777114768 140309663063799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
/proc/3930/statm: 3450442 1273839 3276 1 0 3437675 0
[pid=3930/tid=3931] ppid=3929 vsize=13801768 CPUtime=37.06 cores=4-7,12-15
/proc/3930/task/3931/stat : 3931 (java) S 3929 3929 18810 0 -1 1077944384 17014 0 0 0 3661 45 0 0 20 0 28 0 4016986 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309667304576 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3933] ppid=3929 vsize=13801768 CPUtime=7.44 cores=4-7,12-15
/proc/3930/task/3933/stat : 3933 (java) S 3929 3929 18810 0 -1 1077944384 3427 0 0 0 617 127 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309615684496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3934] ppid=3929 vsize=13801768 CPUtime=7.35 cores=4-7,12-15
/proc/3930/task/3934/stat : 3934 (java) S 3929 3929 18810 0 -1 1077944384 3422 0 0 0 626 109 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309614631696 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3935] ppid=3929 vsize=13801768 CPUtime=7.41 cores=4-7,12-15
/proc/3930/task/3935/stat : 3935 (java) S 3929 3929 18810 0 -1 1077944384 3692 0 0 0 622 119 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309613579408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3936] ppid=3929 vsize=13801768 CPUtime=7.32 cores=4-7,12-15
/proc/3930/task/3936/stat : 3936 (java) S 3929 3929 18810 0 -1 1077944384 2901 0 0 0 625 107 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309612526608 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3937] ppid=3929 vsize=13801768 CPUtime=7.28 cores=4-7,12-15
/proc/3930/task/3937/stat : 3937 (java) S 3929 3929 18810 0 -1 1077944384 4508 0 0 0 597 131 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309611473296 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3938] ppid=3929 vsize=13801768 CPUtime=7.39 cores=4-7,12-15
/proc/3930/task/3938/stat : 3938 (java) S 3929 3929 18810 0 -1 1077944384 2980 0 0 0 609 130 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309610420496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3939] ppid=3929 vsize=13801768 CPUtime=7.45 cores=4-7,12-15
/proc/3930/task/3939/stat : 3939 (java) S 3929 3929 18810 0 -1 1077944384 3789 0 0 0 642 103 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309609368208 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3940] ppid=3929 vsize=13801768 CPUtime=7.31 cores=4-7,12-15
/proc/3930/task/3940/stat : 3940 (java) S 3929 3929 18810 0 -1 1077944384 5336 0 0 0 622 109 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309608315408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3941] ppid=3929 vsize=13801768 CPUtime=1.99 cores=4-7,12-15
/proc/3930/task/3941/stat : 3941 (java) S 3929 3929 18810 0 -1 1077944384 10053 0 0 0 196 3 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308990884464 140309663074946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3942] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3942/stat : 3942 (java) S 3929 3929 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308989830496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3943] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3943/stat : 3943 (java) S 3929 3929 18810 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308988778112 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3944] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3944/stat : 3944 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308987726416 140309663082395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3945] ppid=3929 vsize=13801768 CPUtime=2.3 cores=4-7,12-15
/proc/3930/task/3945/stat : 3945 (java) S 3929 3929 18810 0 -1 1077944384 13194 0 0 0 228 2 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308986673264 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3946] ppid=3929 vsize=13801768 CPUtime=2.11 cores=4-7,12-15
/proc/3930/task/3946/stat : 3946 (java) S 3929 3929 18810 0 -1 1077944384 10724 0 0 0 209 2 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308985620464 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3947] ppid=3929 vsize=13801768 CPUtime=2.29 cores=4-7,12-15
/proc/3930/task/3947/stat : 3947 (java) S 3929 3929 18810 0 -1 1077944384 11415 0 0 0 228 1 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308984568176 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3948] ppid=3929 vsize=13801768 CPUtime=0.85 cores=4-7,12-15
/proc/3930/task/3948/stat : 3948 (java) S 3929 3929 18810 0 -1 1077944384 7322 0 0 0 84 1 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308983515376 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3949] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3949/stat : 3949 (java) S 3929 3929 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308982463328 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3950] ppid=3929 vsize=13801768 CPUtime=0.15 cores=4-7,12-15
/proc/3930/task/3950/stat : 3950 (java) S 3929 3929 18810 0 -1 1077944384 1451 0 0 0 7 8 0 0 20 0 28 0 4016993 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308981410608 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4039] ppid=3929 vsize=13801768 CPUtime=204.68 cores=4-7,12-15
/proc/3930/task/4039/stat : 4039 (java) R 3929 3929 18810 0 -1 4202560 2052 0 0 0 20468 0 0 0 20 0 28 0 4021617 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308973397960 140309289568675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4040] ppid=3929 vsize=13801768 CPUtime=203 cores=4-7,12-15
/proc/3930/task/4040/stat : 4040 (java) R 3929 3929 18810 0 -1 4202560 2999 0 0 0 20300 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308972343504 140309289568701 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4041] ppid=3929 vsize=13801768 CPUtime=205.4 cores=4-7,12-15
/proc/3930/task/4041/stat : 4041 (java) R 3929 3929 18810 0 -1 4202560 2939 0 0 0 20539 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308971290584 140309286334986 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4042] ppid=3929 vsize=13801768 CPUtime=205.39 cores=4-7,12-15
/proc/3930/task/4042/stat : 4042 (java) R 3929 3929 18810 0 -1 4202560 2311 0 0 0 20530 9 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308970237784 140309289568776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4043] ppid=3929 vsize=13801768 CPUtime=203.96 cores=4-7,12-15
/proc/3930/task/4043/stat : 4043 (java) R 3929 3929 18810 0 -1 4202560 1624 0 0 0 20396 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308969185352 140309289566831 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4044] ppid=3929 vsize=13801768 CPUtime=205.19 cores=4-7,12-15
/proc/3930/task/4044/stat : 4044 (java) R 3929 3929 18810 0 -1 4202560 1248 0 0 0 20518 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308968132696 140309289668044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4045] ppid=3929 vsize=13801768 CPUtime=205.06 cores=4-7,12-15
/proc/3930/task/4045/stat : 4045 (java) R 3929 3929 18810 0 -1 4202560 1481 0 0 0 20505 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308967080408 140309289568947 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4046] ppid=3929 vsize=13801768 CPUtime=204.05 cores=4-7,12-15
/proc/3930/task/4046/stat : 4046 (java) R 3929 3929 18810 0 -1 4202560 1745 0 0 0 20405 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308966027608 140309289568639 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
Current children cumulated CPU time (s) 1742.67
Current children cumulated vsize (KiB) 13811280

[startup+253.201 s]
/proc/loadavg: 13.30 13.26 14.16 18/303 5274
/proc/meminfo: memFree=25534004/32770624 swapFree=5944/247996
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=13801768 CPUtime=1745.85 cores=4-7,12-15
/proc/3930/stat : 3930 (java) S 3929 3929 18810 0 -1 1077944320 119054 0 0 0 173564 1021 0 0 20 0 28 0 4016986 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140725777114768 140309663063799 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
/proc/3930/statm: 3450442 1273839 3276 1 0 3437675 0
[pid=3930/tid=3931] ppid=3929 vsize=13801768 CPUtime=37.06 cores=4-7,12-15
/proc/3930/task/3931/stat : 3931 (java) S 3929 3929 18810 0 -1 1077944384 17014 0 0 0 3661 45 0 0 20 0 28 0 4016986 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309667304576 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3933] ppid=3929 vsize=13801768 CPUtime=7.44 cores=4-7,12-15
/proc/3930/task/3933/stat : 3933 (java) S 3929 3929 18810 0 -1 1077944384 3427 0 0 0 617 127 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309615684496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3934] ppid=3929 vsize=13801768 CPUtime=7.35 cores=4-7,12-15
/proc/3930/task/3934/stat : 3934 (java) S 3929 3929 18810 0 -1 1077944384 3422 0 0 0 626 109 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309614631696 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3935] ppid=3929 vsize=13801768 CPUtime=7.41 cores=4-7,12-15
/proc/3930/task/3935/stat : 3935 (java) S 3929 3929 18810 0 -1 1077944384 3692 0 0 0 622 119 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309613579408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3936] ppid=3929 vsize=13801768 CPUtime=7.32 cores=4-7,12-15
/proc/3930/task/3936/stat : 3936 (java) S 3929 3929 18810 0 -1 1077944384 2901 0 0 0 625 107 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309612526608 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3937] ppid=3929 vsize=13801768 CPUtime=7.28 cores=4-7,12-15
/proc/3930/task/3937/stat : 3937 (java) S 3929 3929 18810 0 -1 1077944384 4508 0 0 0 597 131 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309611473296 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3938] ppid=3929 vsize=13801768 CPUtime=7.39 cores=4-7,12-15
/proc/3930/task/3938/stat : 3938 (java) S 3929 3929 18810 0 -1 1077944384 2980 0 0 0 609 130 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309610420496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3939] ppid=3929 vsize=13801768 CPUtime=7.45 cores=4-7,12-15
/proc/3930/task/3939/stat : 3939 (java) S 3929 3929 18810 0 -1 1077944384 3789 0 0 0 642 103 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309609368208 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3940] ppid=3929 vsize=13801768 CPUtime=7.31 cores=4-7,12-15
/proc/3930/task/3940/stat : 3940 (java) S 3929 3929 18810 0 -1 1077944384 5336 0 0 0 622 109 0 0 20 0 28 0 4016987 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140309608315408 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3941] ppid=3929 vsize=13801768 CPUtime=1.99 cores=4-7,12-15
/proc/3930/task/3941/stat : 3941 (java) S 3929 3929 18810 0 -1 1077944384 10053 0 0 0 196 3 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308990884464 140309663074946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3942] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3942/stat : 3942 (java) S 3929 3929 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308989830496 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3943] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3943/stat : 3943 (java) S 3929 3929 18810 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 4016989 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308988778112 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3944] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3944/stat : 3944 (java) S 3929 3929 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308987726416 140309663082395 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3945] ppid=3929 vsize=13801768 CPUtime=2.3 cores=4-7,12-15
/proc/3930/task/3945/stat : 3945 (java) S 3929 3929 18810 0 -1 1077944384 13194 0 0 0 228 2 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308986673264 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3946] ppid=3929 vsize=13801768 CPUtime=2.11 cores=4-7,12-15
/proc/3930/task/3946/stat : 3946 (java) S 3929 3929 18810 0 -1 1077944384 10724 0 0 0 209 2 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308985620464 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3947] ppid=3929 vsize=13801768 CPUtime=2.29 cores=4-7,12-15
/proc/3930/task/3947/stat : 3947 (java) S 3929 3929 18810 0 -1 1077944384 11415 0 0 0 228 1 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308984568176 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3948] ppid=3929 vsize=13801768 CPUtime=0.85 cores=4-7,12-15
/proc/3930/task/3948/stat : 3948 (java) S 3929 3929 18810 0 -1 1077944384 7322 0 0 0 84 1 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308983515376 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3949] ppid=3929 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/3930/task/3949/stat : 3949 (java) S 3929 3929 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4016992 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308982463328 140309663074005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=3950] ppid=3929 vsize=13801768 CPUtime=0.15 cores=4-7,12-15
/proc/3930/task/3950/stat : 3950 (java) S 3929 3929 18810 0 -1 1077944384 1451 0 0 0 7 8 0 0 20 0 28 0 4016993 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308981410608 140309663074946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4039] ppid=3929 vsize=13801768 CPUtime=205.08 cores=4-7,12-15
/proc/3930/task/4039/stat : 4039 (java) R 3929 3929 18810 0 -1 4202560 2052 0 0 0 20508 0 0 0 20 0 28 0 4021617 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308973397960 140309289569058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4040] ppid=3929 vsize=13801768 CPUtime=203.38 cores=4-7,12-15
/proc/3930/task/4040/stat : 4040 (java) R 3929 3929 18810 0 -1 4202560 2999 0 0 0 20338 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308972343504 140309644470116 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4041] ppid=3929 vsize=13801768 CPUtime=205.8 cores=4-7,12-15
/proc/3930/task/4041/stat : 4041 (java) R 3929 3929 18810 0 -1 4202560 2939 0 0 0 20579 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308971290584 140309289568761 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4042] ppid=3929 vsize=13801768 CPUtime=205.79 cores=4-7,12-15
/proc/3930/task/4042/stat : 4042 (java) R 3929 3929 18810 0 -1 4202560 2334 0 0 0 20570 9 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308970237784 140309289568369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4043] ppid=3929 vsize=13801768 CPUtime=204.36 cores=4-7,12-15
/proc/3930/task/4043/stat : 4043 (java) R 3929 3929 18810 0 -1 4202560 1624 0 0 0 20436 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308969185352 140309286334986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4044] ppid=3929 vsize=13801768 CPUtime=205.59 cores=4-7,12-15
/proc/3930/task/4044/stat : 4044 (java) R 3929 3929 18810 0 -1 4202560 1248 0 0 0 20558 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308968132696 140309286077136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4045] ppid=3929 vsize=13801768 CPUtime=205.46 cores=4-7,12-15
/proc/3930/task/4045/stat : 4045 (java) R 3929 3929 18810 0 -1 4202560 1481 0 0 0 20545 1 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308967080408 140309289568611 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
[pid=3930/tid=4046] ppid=3929 vsize=13801768 CPUtime=204.45 cores=4-7,12-15
/proc/3930/task/4046/stat : 4046 (java) R 3929 3929 18810 0 -1 4202560 1745 0 0 0 20445 0 0 0 20 0 28 0 4021618 14133010432 1273839 33554432000 4194304 4196468 140725777132224 140308966027608 140309289568826 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33476608 140725777138876 140725777139052 140725777139052 140725777141711 0
Current children cumulated CPU time (s) 1745.85
Current children cumulated vsize (KiB) 13811280

[startup+253.602 s]
/proc/loadavg: 13.30 13.26 14.16 18/303 5274
/proc/meminfo: memFree=25534004/32770624 swapFree=5944/247996
[pid=3929] ppid=3926 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/3929/stat : 3929 (xcsp3-exec) S 3926 3929 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4016985 9740288 346 33554432000 4194304 5098028 140734699082448 140734699080552 140169254437500 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11988992 140734699086991 140734699087200 140734699087200 140734699089899 0
/proc/3929/statm: 2378 346 289 221 0 87 0
[pid=3930] ppid=3929 vsize=0 CPUtime=1748.85 cores=4-7,12-15
/proc/3930/stat : 3930 (java) Z 3929 3929 18810 0 -1 4227084 120608 0 0 0 173863 1022 0 0 20 0 2 0 4016986 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3930/statm: 0 0 0 0 0 0 0
[pid=3930/tid=3949] ppid=3929 vsize=0 CPUtime=0.01 cores=4-7,12-15
/proc/3930/task/3949/stat : 3949 (java) R 3929 3929 18810 0 -1 4203588 3 0 0 0 0 1 0 0 20 0 2 0 4016992 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 13 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.85
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 253.612
CPU time (s): 1748.87
CPU user time (s): 1738.63
CPU system time (s): 10.2357
CPU usage (%): 689.585
Max. virtual memory (cumulated for all children) (KiB): 13813040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.63
system time used= 10.2357
maximum resident set size= 5106928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11998
involuntary context switches= 113872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.94235 second user time and 3.82957 second system time

The end

Launcher Data 

Begin job on node132 at 2017-07-22 03:38:18
IDJOB=4246484
IDBENCH=125591
IDSOLVER=2625
FILE ID=node132/4246484-1500687498
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61728 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5-p7/mdd-7-25-5-ps05-psh07-4.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-4246484-1500687498/watcher-4246484-1500687498 -o /tmp/evaluation-result-4246484-1500687498/solver-4246484-1500687498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 681448381 HOME/instance-4246484-1500687498.xml

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

MD5SUM BENCH= cc3fcfac109c3d277a0ef72b27cdc983
RANDOM SEED=681448381

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 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		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 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		: 2267.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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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	: 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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.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:        28271168 kB
MemAvailable:   28458904 kB
Buffers:          109376 kB
Cached:           359196 kB
SwapCached:            0 kB
Active:          3803108 kB
Inactive:         255632 kB
Active(anon):    3593112 kB
Inactive(anon):     8616 kB
Active(file):     209996 kB
Inactive(file):   247016 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41160 kB
Writeback:            56 kB
AnonPages:       3596072 kB
Mapped:            43128 kB
Shmem:              8872 kB
Slab:             127972 kB
SReclaimable:      93116 kB
SUnreclaim:        34856 kB
KernelStack:        4688 kB
PageTables:        12440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4417364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3463168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61720 MiB
End job on node132 at 2017-07-22 03:42:32