Trace number 4247213

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: Concrete 3.4UNSAT 14.5123 5.15166

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0020.xml
MD5SUM5d39d785165af6ca3b6eb979dd894859
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.17952
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints251
Number of domains1
Minimum domain size401
Maximum domain size401
Distribution of domain sizes[{"size":401,"count":42}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":19},{"degree":20,"count":19},{"degree":21,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":251}]
Number of extensional constraints0
Number of intensional constraints251
Distribution of constraint types[{"type":"intension","count":251}]
Optimization problemNO
Type of objective

Solver Data 

3.96/2.25	c Concrete v3.4 running
14.08/5.09	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-4247213-1500728206/watcher-4247213-1500728206 -o /tmp/evaluation-result-4247213-1500728206/solver-4247213-1500728206 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247213-1500728206.xml 

pid=14200
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: 1.26 1.33 1.44 3/261 14203
/proc/meminfo: memFree=27268092/32770624 swapFree=6384/332756
[pid=14203] ppid=14200 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (bash) S 14200 14203 11993 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 8088266 9736192 351 33554432000 4194304 5098028 140722493179312 140722493176952 139637721758720 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 8196096 140722493187342 140722493187427 140722493187427 140722493190126 0
/proc/14203/statm: 2377 351 278 221 0 86 0

[startup+0.100147 s]
/proc/loadavg: 1.26 1.33 1.44 3/261 14203
/proc/meminfo: memFree=27268092/32770624 swapFree=6384/332756
[pid=14203] ppid=14200 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (bash) S 14200 14203 11993 0 -1 4202496 884 6412 0 0 0 0 0 1 20 0 1 0 8088266 9871360 378 33554432000 4194304 5098028 140722493179312 140722493173320 139637721758720 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 8196096 140722493187342 140722493187427 140722493187427 140722493190126 0
/proc/14203/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200362 s]
/proc/loadavg: 1.26 1.33 1.44 3/261 14203
/proc/meminfo: memFree=27268092/32770624 swapFree=6384/332756
[pid=14203] ppid=14200 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 4663 12687 0 0 5 1 9 4 20 0 13 0 8088266 10686320640 5023 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2608965 5023 2127 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300324 s]
/proc/loadavg: 1.26 1.33 1.44 3/261 14203
/proc/meminfo: memFree=27268092/32770624 swapFree=6384/332756
[pid=14203] ppid=14200 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 6746 12687 0 0 21 2 9 4 20 0 20 0 8088266 11164049408 8430 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2725598 8430 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.70024 s]
/proc/loadavg: 1.26 1.33 1.44 3/261 14203
/proc/meminfo: memFree=27268092/32770624 swapFree=6384/332756
[pid=14203] ppid=14200 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 12066 12687 0 0 71 5 9 4 20 0 20 0 8088266 11164385280 14824 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2725680 14824 3152 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720

[startup+1.50074 s]
/proc/loadavg: 1.26 1.33 1.44 4/281 14276
/proc/meminfo: memFree=27169100/32770624 swapFree=6384/332648
[pid=14203] ppid=14200 vsize=10913344 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 25561 12687 0 0 195 13 9 4 20 0 20 0 8088266 11175264256 40793 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2728336 40793 3376 1 0 2716450 0
[pid=14203/tid=14258] ppid=14200 vsize=10913344 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) S 14200 14203 11993 0 -1 1077944384 19402 12687 0 0 125 7 9 4 20 0 20 0 8088280 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920201489584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) R 14200 14203 11993 0 -1 4202560 38 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920123341784 139920179039837 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) R 14200 14203 11993 0 -1 4202560 28 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920122289240 139920182275579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) R 14200 14203 11993 0 -1 4202560 12 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920121236696 139920189895399 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) R 14200 14203 11993 0 -1 4202560 127 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920120183848 139920189895399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) R 14200 14203 11993 0 -1 4202560 28 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920119130584 139920189895399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) R 14200 14203 11993 0 -1 4202560 38 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920118078040 139920189895399 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) R 14200 14203 11993 0 -1 4202560 19 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920117025184 139920189895399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) R 14200 14203 11993 0 -1 4202560 15 12687 0 0 0 0 9 4 20 0 20 0 8088281 11175264256 40793 33554432000 4194304 4196468 140725038505296 139920115972952 139920189895399 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 60 12687 0 0 0 0 9 4 20 0 20 0 8088284 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919402873664 139920197277397 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 33 12687 0 0 0 0 9 4 20 0 20 0 8088285 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919401821600 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 21 12687 0 0 0 0 9 4 20 0 20 0 8088285 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919400769008 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) S 14200 14203 11993 0 -1 1077944384 756 12687 0 0 14 0 9 4 20 0 20 0 8088289 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919398664176 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) S 14200 14203 11993 0 -1 1077944384 538 12687 0 0 11 0 9 4 20 0 20 0 8088289 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919397611632 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) S 14200 14203 11993 0 -1 1077944384 1204 12687 0 0 14 0 9 4 20 0 20 0 8088289 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919396559088 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) S 14200 14203 11993 0 -1 1077944384 1103 12687 0 0 24 0 9 4 20 0 20 0 8088289 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919395506544 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 20 0 8088290 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14276] ppid=14200 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14276/stat : 14276 (java) S 14200 14203 11993 0 -1 1077944384 4 12687 0 0 0 0 9 4 20 0 20 0 8088290 11175264256 40793 33554432000 4194304 4196468 140725038505296 139919393401776 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10913344

[startup+3.10075 s]
/proc/loadavg: 1.26 1.33 1.44 6/281 14276
/proc/meminfo: memFree=27091208/32770624 swapFree=6384/332712
[pid=14203] ppid=14200 vsize=10925820 CPUtime=6.42 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 43236 12687 0 0 608 21 9 4 20 0 20 0 8088266 11188039680 54710 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2731455 54710 3480 1 0 2719010 0
[pid=14203/tid=14258] ppid=14200 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) R 14200 14203 11993 0 -1 4202560 27542 12687 0 0 279 10 9 4 20 0 20 0 8088280 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920201495584 139919783914131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920123341584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) S 14200 14203 11993 0 -1 1077944384 29 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920122289040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) S 14200 14203 11993 0 -1 1077944384 13 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920121236496 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) S 14200 14203 11993 0 -1 1077944384 129 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920120183952 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) S 14200 14203 11993 0 -1 1077944384 29 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920119130384 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 38 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 19 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 18 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 54710 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 700 12687 0 0 2 0 9 4 20 0 20 0 8088284 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919402875376 139920197278338 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 20 0 8088285 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919401821600 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088285 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919400769008 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10925820 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) S 14200 14203 11993 0 -1 1077944384 1984 12687 0 0 53 0 9 4 20 0 20 0 8088289 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919398664176 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10925820 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) R 14200 14203 11993 0 -1 4202560 3461 12687 0 0 78 2 9 4 20 0 20 0 8088289 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919397594576 139920190363622 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10925820 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) R 14200 14203 11993 0 -1 4202560 2490 12687 0 0 70 0 9 4 20 0 20 0 8088289 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919396538960 139920197288538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10925820 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) R 14200 14203 11993 0 -1 4202560 4500 12687 0 0 113 1 9 4 20 0 20 0 8088289 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919395500208 139920197279126 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 20 0 8088290 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14276] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14276/stat : 14276 (java) S 14200 14203 11993 0 -1 1077944384 5 12687 0 0 0 0 9 4 20 0 20 0 8088290 11188039680 54710 33554432000 4194304 4196468 140725038505296 139919393401776 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 10925820

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

[startup+3.20155 s]
/proc/loadavg: 1.26 1.33 1.44 6/281 14276
/proc/meminfo: memFree=27091208/32770624 swapFree=6384/332712
[pid=14203] ppid=14200 vsize=10925820 CPUtime=6.85 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 43876 12687 0 0 651 21 9 4 20 0 20 0 8088266 11188039680 56218 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2731455 56218 3480 1 0 2719010 0
[pid=14203/tid=14258] ppid=14200 vsize=10925820 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) R 14200 14203 11993 0 -1 4202560 27549 12687 0 0 289 10 9 4 20 0 20 0 8088280 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920201501336 139919794622951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920123341584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) S 14200 14203 11993 0 -1 1077944384 29 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920122289040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) S 14200 14203 11993 0 -1 1077944384 13 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920121236496 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) S 14200 14203 11993 0 -1 1077944384 129 12687 0 0 0 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920120183952 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) S 14200 14203 11993 0 -1 1077944384 29 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920119130384 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 38 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 19 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 18 12687 0 0 1 0 9 4 20 0 20 0 8088281 11188039680 56218 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 700 12687 0 0 2 0 9 4 20 0 20 0 8088284 11188039680 56218 33554432000 4194304 4196468 140725038505296 139919402875376 139920197278338 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 20 0 8088285 11188039680 56218 33554432000 4194304 4196468 140725038505296 139919401821600 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088285 11188039680 56218 33554432000 4194304 4196468 140725038505296 139919400769008 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11188039680 56218 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10925820 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) R 14200 14203 11993 0 -1 4202560 2440 12687 0 0 61 0 9 4 20 0 20 0 8088289 11188039680 56218 33554432000 4194304 4196468 140725038505296 139919398650200 139920180651984 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0

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

[pid=14203/tid=14264] ppid=14200 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 52 12687 0 0 1 0 9 4 20 0 20 0 8088281 11190136832 80522 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 21 12687 0 0 1 0 9 4 20 0 20 0 8088281 11190136832 80522 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 27 12687 0 0 1 0 9 4 20 0 20 0 8088281 11190136832 80522 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 725 12687 0 0 2 0 9 4 20 0 20 0 8088284 11190136832 80522 33554432000 4194304 4196468 140725038505296 139919402875376 139920197278338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 20 0 8088285 11190136832 80522 33554432000 4194304 4196468 140725038505296 139919401821664 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088285 11190136832 80522 33554432000 4194304 4196468 140725038505296 139919400769024 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11190136832 80588 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10927868 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) R 14200 14203 11993 0 -1 4202560 5420 12687 0 0 129 1 9 4 20 0 20 0 8088289 11190136832 80588 33554432000 4194304 4196468 140725038505296 139919398650200 139920189556640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10927868 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) R 14200 14203 11993 0 -1 4202560 5827 12687 0 0 156 2 9 4 20 0 20 0 8088289 11190136832 80654 33554432000 4194304 4196468 140725038505296 139919397597368 139920176953889 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10927868 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) R 14200 14203 11993 0 -1 4202560 4279 12687 0 0 148 0 9 4 20 0 20 0 8088289 11190136832 80654 33554432000 4194304 4196468 140725038505296 139919396544552 139920175014657 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10927868 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) R 14200 14203 11993 0 -1 4202560 5587 12687 0 0 156 2 9 4 20 0 20 0 8088289 11190136832 80654 33554432000 4194304 4196468 140725038505296 139919395501080 139920177234310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 20 0 8088290 11190136832 80720 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14276] ppid=14200 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14276/stat : 14276 (java) S 14200 14203 11993 0 -1 1077944384 5 12687 0 0 0 0 9 4 20 0 20 0 8088290 11190136832 80720 33554432000 4194304 4196468 140725038505296 139919393401776 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 10.13
Current children cumulated vsize (KiB) 10927868

[startup+4.80075 s]
/proc/loadavg: 1.48 1.37 1.46 5/281 14276
/proc/meminfo: memFree=26947096/32770624 swapFree=6384/332712
[pid=14203] ppid=14200 vsize=10929916 CPUtime=12.98 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 63262 12687 0 0 1258 27 9 4 20 0 20 0 8088266 11192233984 90619 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2732479 90619 3485 1 0 2720034 0
[pid=14203/tid=14258] ppid=14200 vsize=10929916 CPUtime=4.65 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) R 14200 14203 11993 0 -1 4202560 35563 12687 0 0 440 12 9 4 20 0 20 0 8088280 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920201499640 139919800211891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) S 14200 14203 11993 0 -1 1077944384 75 12687 0 0 3 1 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920123341584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) S 14200 14203 11993 0 -1 1077944384 49 12687 0 0 3 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920122289040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) S 14200 14203 11993 0 -1 1077944384 29 12687 0 0 3 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920121236496 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) S 14200 14203 11993 0 -1 1077944384 144 12687 0 0 3 1 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920120183952 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) S 14200 14203 11993 0 -1 1077944384 32 12687 0 0 2 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920119130384 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 64 12687 0 0 3 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 3 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 36 12687 0 0 3 0 9 4 20 0 20 0 8088281 11192233984 90619 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10929916 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 1621 12687 0 0 4 0 9 4 20 0 20 0 8088284 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919402875376 139920197278338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 20 0 8088285 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919401821664 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088285 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919400769024 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10929916 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) R 14200 14203 11993 0 -1 4202560 6073 12687 0 0 178 1 9 4 20 0 20 0 8088289 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919398657368 139920178795372 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10929916 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) R 14200 14203 11993 0 -1 4202560 6709 12687 0 0 223 3 9 4 20 0 20 0 8088289 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919397597512 139920178795255 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10929916 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) R 14200 14203 11993 0 -1 4202560 4703 12687 0 0 202 1 9 4 20 0 20 0 8088289 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919396551904 139920182160993 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10929916 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) S 14200 14203 11993 0 -1 1077944384 5875 12687 0 0 179 2 9 4 20 0 20 0 8088289 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919395506544 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 20 0 8088290 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14276] ppid=14200 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14276/stat : 14276 (java) S 14200 14203 11993 0 -1 1077944384 8 12687 0 0 0 0 9 4 20 0 20 0 8088290 11192233984 90619 33554432000 4194304 4196468 140725038505296 139919393401776 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 10929916

[startup+5.00106 s]
/proc/loadavg: 1.48 1.37 1.46 5/281 14276
/proc/meminfo: memFree=26947096/32770624 swapFree=6384/332712
[pid=14203] ppid=14200 vsize=10932016 CPUtime=14.08 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 64542 12687 0 0 1365 30 9 4 20 0 20 0 8088266 11194384384 93057 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2733004 93057 3486 1 0 2720559 0
[pid=14203/tid=14258] ppid=14200 vsize=10932016 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) S 14200 14203 11993 0 -1 1077944384 35585 12687 0 0 447 12 9 4 20 0 20 0 8088280 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920201504848 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10932016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) S 14200 14203 11993 0 -1 1077944384 83 12687 0 0 10 1 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920123341584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10932016 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) S 14200 14203 11993 0 -1 1077944384 61 12687 0 0 8 1 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920122289040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10932016 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) S 14200 14203 11993 0 -1 1077944384 32 12687 0 0 10 0 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920121236496 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10932016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) S 14200 14203 11993 0 -1 1077944384 146 12687 0 0 10 1 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920120183952 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10932016 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) S 14200 14203 11993 0 -1 1077944384 37 12687 0 0 7 0 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920119130384 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10932016 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 65 12687 0 0 11 1 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10932016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 47 12687 0 0 11 0 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10932016 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 39 12687 0 0 12 1 9 4 20 0 20 0 8088281 11194384384 93057 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10932016 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) R 14200 14203 11993 0 -1 4202560 1626 12687 0 0 8 0 9 4 20 0 20 0 8088284 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919402873664 139920181621792 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10932016 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 20 0 8088285 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919401821040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10932016 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 0 0 9 4 20 0 20 0 8088285 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919400769024 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10932016 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 1 12687 0 0 0 0 9 4 20 0 20 0 8088289 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919399717584 139920197285787 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10932016 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) S 14200 14203 11993 0 -1 1077944384 6083 12687 0 0 185 1 9 4 20 0 20 0 8088289 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919398648112 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10932016 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) R 14200 14203 11993 0 -1 4202560 7784 12687 0 0 243 3 9 4 20 0 20 0 8088289 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919397597512 139920182392586 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10932016 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) S 14200 14203 11993 0 -1 1077944384 4719 12687 0 0 209 1 9 4 20 0 20 0 8088289 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919396543984 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10932016 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) S 14200 14203 11993 0 -1 1077944384 5989 12687 0 0 184 2 9 4 20 0 20 0 8088289 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919395502736 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10932016 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 20 0 8088290 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14276] ppid=14200 vsize=10932016 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14276/stat : 14276 (java) S 14200 14203 11993 0 -1 1077944384 8 12687 0 0 0 0 9 4 20 0 20 0 8088290 11194384384 93057 33554432000 4194304 4196468 140725038505296 139919393401776 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (KiB) 10932016

[startup+5.10083 s]
/proc/loadavg: 1.48 1.37 1.46 5/281 14276
/proc/meminfo: memFree=26947096/32770624 swapFree=6384/332712
[pid=14203] ppid=14200 vsize=10996480 CPUtime=14.45 cores=1,3,5,7,9,11,13,15
/proc/14203/stat : 14203 (java) S 14200 14203 11993 0 -1 1077944320 65528 12687 0 0 1402 30 9 4 20 0 19 0 8088266 11260395520 92962 33554432000 4194304 4196468 140725038505296 140725038487840 139920197267191 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
/proc/14203/statm: 2749120 92962 3488 1 0 2736675 0
[pid=14203/tid=14258] ppid=14200 vsize=10996480 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14258/stat : 14258 (java) S 14200 14203 11993 0 -1 1077944384 35607 12687 0 0 447 12 9 4 20 0 19 0 8088280 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920201510032 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14259] ppid=14200 vsize=10996480 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14259/stat : 14259 (java) S 14200 14203 11993 0 -1 1077944384 85 12687 0 0 13 1 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920123341584 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14260] ppid=14200 vsize=10996480 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14260/stat : 14260 (java) S 14200 14203 11993 0 -1 1077944384 61 12687 0 0 11 1 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920122289040 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14261] ppid=14200 vsize=10996480 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14261/stat : 14261 (java) S 14200 14203 11993 0 -1 1077944384 41 12687 0 0 13 0 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920121236496 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14262] ppid=14200 vsize=10996480 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14262/stat : 14262 (java) S 14200 14203 11993 0 -1 1077944384 148 12687 0 0 12 1 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920120183952 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14263] ppid=14200 vsize=10996480 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14263/stat : 14263 (java) S 14200 14203 11993 0 -1 1077944384 37 12687 0 0 9 0 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920119130384 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14264] ppid=14200 vsize=10996480 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14264/stat : 14264 (java) S 14200 14203 11993 0 -1 1077944384 65 12687 0 0 13 1 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920118077840 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14265] ppid=14200 vsize=10996480 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14265/stat : 14265 (java) S 14200 14203 11993 0 -1 1077944384 50 12687 0 0 13 0 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920117025296 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14266] ppid=14200 vsize=10996480 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14266/stat : 14266 (java) S 14200 14203 11993 0 -1 1077944384 43 12687 0 0 13 1 9 4 20 0 19 0 8088281 11260395520 92962 33554432000 4194304 4196468 140725038505296 139920115972752 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14267] ppid=14200 vsize=10996480 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14267/stat : 14267 (java) S 14200 14203 11993 0 -1 1077944384 1626 12687 0 0 14 0 9 4 20 0 19 0 8088284 11260395520 92962 33554432000 4194304 4196468 140725038505296 139919402875584 139920197278338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14268] ppid=14200 vsize=10996480 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14268/stat : 14268 (java) S 14200 14203 11993 0 -1 1077944384 58 12687 0 0 0 0 9 4 20 0 19 0 8088285 11260395520 92962 33554432000 4194304 4196468 140725038505296 139919401821728 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14269] ppid=14200 vsize=10996480 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14269/stat : 14269 (java) S 14200 14203 11993 0 -1 1077944384 44 12687 0 0 0 0 9 4 20 0 19 0 8088285 11260395520 92962 33554432000 4194304 4196468 140725038505296 139919400769024 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14270] ppid=14200 vsize=10996480 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14270/stat : 14270 (java) S 14200 14203 11993 0 -1 1077944384 23 12687 0 0 0 0 9 4 20 0 19 0 8088289 11260395520 92962 33554432000 4194304 4196468 140725038505296 139919399716352 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14271] ppid=14200 vsize=10996480 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14271/stat : 14271 (java) S 14200 14203 11993 0 -1 1077944384 6091 12687 0 0 186 1 9 4 20 0 19 0 8088289 11260395520 93028 33554432000 4194304 4196468 140725038505296 139919398651888 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14272] ppid=14200 vsize=10996480 CPUtime=2.68 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14272/stat : 14272 (java) R 14200 14203 11993 0 -1 4202560 8722 12687 0 0 252 3 9 4 20 0 19 0 8088289 11260395520 93028 33554432000 4194304 4196468 140725038505296 139919397597512 139920178810914 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14273] ppid=14200 vsize=10996480 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14273/stat : 14273 (java) S 14200 14203 11993 0 -1 1077944384 4720 12687 0 0 210 1 9 4 20 0 19 0 8088289 11260395520 93028 33554432000 4194304 4196468 140725038505296 139919396538928 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14274] ppid=14200 vsize=10996480 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14274/stat : 14274 (java) S 14200 14203 11993 0 -1 1077944384 5996 12687 0 0 185 2 9 4 20 0 19 0 8088289 11260395520 93028 33554432000 4194304 4196468 140725038505296 139919395506544 139920197278338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
[pid=14203/tid=14275] ppid=14200 vsize=10996480 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14203/task/14275/stat : 14275 (java) S 14200 14203 11993 0 -1 1077944384 3 12687 0 0 0 0 9 4 20 0 19 0 8088290 11260395520 93028 33554432000 4194304 4196468 140725038505296 139919394454240 139920197277397 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21176320 140725038508737 140725038511511 140725038511511 140725038514127 0
Current children cumulated CPU time (s) 14.45
Current children cumulated vsize (KiB) 10996480

Child status: 0
Real time (s): 5.15166
CPU time (s): 14.5123
CPU user time (s): 14.1465
CPU system time (s): 0.365796
CPU usage (%): 281.701
Max. virtual memory (cumulated for all children) (KiB): 10996480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1465
system time used= 0.365796
maximum resident set size= 373592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9692
involuntary context switches= 2261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041118 second user time and 0.052426 second system time

The end

Launcher Data 

Begin job on node127 at 2017-07-22 14:56:46
IDJOB=4247213
IDBENCH=126846
IDSOLVER=2630
FILE ID=node127/4247213-1500728206
RUNJOBID= node127-1500718419-12025
PBS_JOBID= 20623370
Free space on /tmp= 61872 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0020.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247213-1500728206/watcher-4247213-1500728206 -o /tmp/evaluation-result-4247213-1500728206/solver-4247213-1500728206 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560  bin/concrete HOME/instance-4247213-1500728206.xml

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

MD5SUM BENCH= 5d39d785165af6ca3b6eb979dd894859
RANDOM SEED=1083161281

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27268136 kB
MemAvailable:   27686784 kB
Buffers:          141304 kB
Cached:           556452 kB
SwapCached:            0 kB
Active:          4717380 kB
Inactive:         341388 kB
Active(anon):    4363708 kB
Inactive(anon):     8672 kB
Active(file):     353672 kB
Inactive(file):   332716 kB
Unevictable:        6384 kB
Mlocked:            6384 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24320 kB
Writeback:             0 kB
AnonPages:       4403020 kB
Mapped:            44112 kB
Shmem:              8840 kB
Slab:             129960 kB
SReclaimable:      96192 kB
SUnreclaim:        33768 kB
KernelStack:        4848 kB
PageTables:        13740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4869392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4175872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61848 MiB
End job on node127 at 2017-07-22 14:56:51